Safe HaskellSafe

AbsChi

Documentation

newtype Constructor #

Constructors

Constructor String 

Instances

Eq Constructor # 

Methods

(==)ConstructorConstructor → Bool

(/=)ConstructorConstructor → Bool

Ord Constructor # 

Methods

compareConstructorConstructor → Ordering

(<)ConstructorConstructor → Bool

(<=)ConstructorConstructor → Bool

(>)ConstructorConstructor → Bool

(>=)ConstructorConstructor → Bool

maxConstructorConstructorConstructor

minConstructorConstructorConstructor

Read Constructor # 

Methods

readsPrec ∷ Int → ReadS Constructor

readList ∷ ReadS [Constructor]

readPrec ∷ ReadPrec Constructor

readListPrec ∷ ReadPrec [Constructor]

Show Constructor # 

Methods

showsPrec ∷ Int → Constructor → ShowS

showConstructor → String

showList ∷ [Constructor] → ShowS

type Rep Constructor # 
type Rep Constructor = D1 (MetaData "Constructor" "AbsChi" "main" True) (C1 (MetaCons "Constructor" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

newtype Variable #

Constructors

Variable String 

Instances

Eq Variable # 

Methods

(==)VariableVariable → Bool

(/=)VariableVariable → Bool

Ord Variable # 

Methods

compareVariableVariable → Ordering

(<)VariableVariable → Bool

(<=)VariableVariable → Bool

(>)VariableVariable → Bool

(>=)VariableVariable → Bool

maxVariableVariableVariable

minVariableVariableVariable

Read Variable # 

Methods

readsPrec ∷ Int → ReadS Variable

readList ∷ ReadS [Variable]

readPrec ∷ ReadPrec Variable

readListPrec ∷ ReadPrec [Variable]

Show Variable # 

Methods

showsPrec ∷ Int → Variable → ShowS

showVariable → String

showList ∷ [Variable] → ShowS

type Rep Variable # 
type Rep Variable = D1 (MetaData "Variable" "AbsChi" "main" True) (C1 (MetaCons "Variable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data Exp #

Instances

Eq Exp # 

Methods

(==)ExpExp → Bool

(/=)ExpExp → Bool

Ord Exp # 

Methods

compareExpExp → Ordering

(<)ExpExp → Bool

(<=)ExpExp → Bool

(>)ExpExp → Bool

(>=)ExpExp → Bool

maxExpExpExp

minExpExpExp

Read Exp # 

Methods

readsPrec ∷ Int → ReadS Exp

readList ∷ ReadS [Exp]

readPrec ∷ ReadPrec Exp

readListPrec ∷ ReadPrec [Exp]

Show Exp # 

Methods

showsPrec ∷ Int → Exp → ShowS

showExp → String

showList ∷ [Exp] → ShowS

type Rep Exp # 
type Rep Exp = D1 (MetaData "Exp" "AbsChi" "main" False) ((:+:) ((:+:) (C1 (MetaCons "Apply" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) ((:+:) (C1 (MetaCons "Lambda" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variable)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) (C1 (MetaCons "Case" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Br])))))) ((:+:) (C1 (MetaCons "Rec" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variable)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))) ((:+:) (C1 (MetaCons "Var" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Variable))) (C1 (MetaCons "Const" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constructor)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp])))))))

data Br #

Constructors

Branch Constructor [Variable] Exp 

Instances

Eq Br # 

Methods

(==)BrBr → Bool

(/=)BrBr → Bool

Ord Br # 

Methods

compareBrBr → Ordering

(<)BrBr → Bool

(<=)BrBr → Bool

(>)BrBr → Bool

(>=)BrBr → Bool

maxBrBrBr

minBrBrBr

Read Br # 

Methods

readsPrec ∷ Int → ReadS Br

readList ∷ ReadS [Br]

readPrec ∷ ReadPrec Br

readListPrec ∷ ReadPrec [Br]

Show Br # 

Methods

showsPrec ∷ Int → Br → ShowS

showBr → String

showList ∷ [Br] → ShowS

type Rep Br # 
type Rep Br = D1 (MetaData "Br" "AbsChi" "main" False) (C1 (MetaCons "Branch" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constructor)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Variable])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)))))