Data.Walk

Definitions

interface Walk : Type -> Type -> Type

Parameters: from, to
Methods:

go : from -> to

Implementation: 

String -> VString

go : Walk from to => from -> to

Visibility: public export

($$) : Walk t a => (a -> b) -> t -> b

Visibility: public export
Fixity Declaration: infixr operator, level 0

(@@) : Walk t a => (a -> b) -> t -> b

Visibility: public export
Fixity Declaration: infixl operator, level 10