instant-zipper-0.0.0: Heterogenous Zipper in Instant Generics

Generics.Instant.Zipper.Example.Term

Synopsis

Documentation

data Term Source

Datatype

Constructors

Var' String
Lambda String Term
App Term Term
If Term Term Term

Instances

Eq Term
Show Term
Typeable Term
Representable Term
Zipper Term	Zipper

type RepTerm_ = :+: (C Term_Var'_ (Rec String)) (:+: (C Term_Lambda_ (:*: (Rec String) (Rec Term))) (:+: (C Term_App_ (:*: (Rec Term) (Rec Term))) (C Term_If_ (:*: (Rec Term) (:*: (Rec Term) (Rec Term))))))Source

Representation

data Term_If_ Source

Instances

Constructor Term_If_

data Term_App_ Source

Instances

Constructor Term_App_

data Term_Lambda_ Source

Instances

Constructor Term_Lambda_

data Term_Var'_ Source

Instances

Constructor Term_Var'_

data TermFam a whereSource

Family

Constructors

Term :: TermFam Term
String :: TermFam String

Instances

Family TermFam
Show (TermFam a)

fixFac :: ZipperR Term Source

fac