Safe Haskell	Safe

AbsChi

Documentation

newtype Constructor #

Constructors

Constructor String

Instances

Eq Constructor #
Methods (==) ∷ Constructor → Constructor → Bool (/=) ∷ Constructor → Constructor → Bool
Ord Constructor #
Methods compare ∷ Constructor → Constructor → Ordering (<) ∷ Constructor → Constructor → Bool (<=) ∷ Constructor → Constructor → Bool (>) ∷ Constructor → Constructor → Bool (>=) ∷ Constructor → Constructor → Bool max ∷ Constructor → Constructor → Constructor min ∷ Constructor → Constructor → Constructor
Read Constructor #
Methods readsPrec ∷ Int → ReadS Constructor readList ∷ ReadS [Constructor] readPrec ∷ ReadPrec Constructor readListPrec ∷ ReadPrec [Constructor]
Show Constructor #
Methods showsPrec ∷ Int → Constructor → ShowS show ∷ Constructor → 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 (==) ∷ Variable → Variable → Bool (/=) ∷ Variable → Variable → Bool
Ord Variable #
Methods compare ∷ Variable → Variable → Ordering (<) ∷ Variable → Variable → Bool (<=) ∷ Variable → Variable → Bool (>) ∷ Variable → Variable → Bool (>=) ∷ Variable → Variable → Bool max ∷ Variable → Variable → Variable min ∷ Variable → Variable → Variable
Read Variable #
Methods readsPrec ∷ Int → ReadS Variable readList ∷ ReadS [Variable] readPrec ∷ ReadPrec Variable readListPrec ∷ ReadPrec [Variable]
Show Variable #
Methods showsPrec ∷ Int → Variable → ShowS show ∷ Variable → 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 #

Constructors

Apply Exp Exp
Lambda Variable Exp
Case Exp [Br]
Rec Variable Exp
Var Variable
Const Constructor [Exp]

Instances

Eq Exp #
Methods (==) ∷ Exp → Exp → Bool (/=) ∷ Exp → Exp → Bool
Ord Exp #
Methods compare ∷ Exp → Exp → Ordering (<) ∷ Exp → Exp → Bool (<=) ∷ Exp → Exp → Bool (>) ∷ Exp → Exp → Bool (>=) ∷ Exp → Exp → Bool max ∷ Exp → Exp → Exp min ∷ Exp → Exp → Exp
Read Exp #
Methods readsPrec ∷ Int → ReadS Exp readList ∷ ReadS [Exp] readPrec ∷ ReadPrec Exp readListPrec ∷ ReadPrec [Exp]
Show Exp #
Methods showsPrec ∷ Int → Exp → ShowS show ∷ Exp → 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 (==) ∷ Br → Br → Bool (/=) ∷ Br → Br → Bool
Ord Br #
Methods compare ∷ Br → Br → Ordering (<) ∷ Br → Br → Bool (<=) ∷ Br → Br → Bool (>) ∷ Br → Br → Bool (>=) ∷ Br → Br → Bool max ∷ Br → Br → Br min ∷ Br → Br → Br
Read Br #
Methods readsPrec ∷ Int → ReadS Br readList ∷ ReadS [Br] readPrec ∷ ReadPrec Br readListPrec ∷ ReadPrec [Br]
Show Br #
Methods showsPrec ∷ Int → Br → ShowS show ∷ Br → 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)))))