TyRE.Codes

Definitions

data Code : Type

Totality: total
Visibility: public export
Constructors:

CharC : Code

PairC : Code -> Code -> Code

StringC : Code

UnitC : Code

EitherC : Code -> Code -> Code

ListC : Code -> Code

MaybeC : Code -> Code

BoolC : Code

NatC : Code

IgnoreC : Code

Hint: 

Eq Code

Sem : Code -> Type

Totality: total
Visibility: public export

SimplifyCode : Code -> Code

Totality: total
Visibility: public export

ConvertSimplification : (c : Code) -> Sem c -> Sem (SimplifyCode c)

Totality: total
Visibility: public export