Safe Haskell	Safe

AbsChi

Documentation

newtype Constructor #

Constructors

Constructor String

Instances

Instances details

Eq Constructor #
Instance details Defined in AbsChi Methods (==) ∷ Constructor → Constructor → Bool (/=) ∷ Constructor → Constructor → Bool
Ord Constructor #
Instance details Defined in AbsChi 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 #
Instance details Defined in AbsChi Methods readsPrec ∷ Int → ReadS Constructor readList ∷ ReadS [Constructor] readPrec ∷ ReadPrec Constructor readListPrec ∷ ReadPrec [Constructor]
Show Constructor #
Instance details Defined in AbsChi Methods showsPrec ∷ Int → Constructor → ShowS show ∷ Constructor → String showList ∷ [Constructor] → ShowS
Generic Constructor
Instance details Defined in Chi Associated Types type Rep Constructor ∷ Type → Type Methods from ∷ Constructor → Rep Constructor x to ∷ Rep Constructor x → Constructor
Hashable Constructor
Instance details Defined in Chi Methods hashWithSalt ∷ Int → Constructor → Int hash ∷ Constructor → Int
Arbitrary Constructor	A QuickCheck generator for (a small number of) constructors.
Instance details Defined in Chi Methods arbitrary ∷ Gen Constructor shrink ∷ Constructor → [Constructor]
type Rep Constructor
Instance details Defined in Chi type Rep Constructor = D1 ('MetaData "Constructor" "AbsChi" "main" 'True) (C1 ('MetaCons "Constructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype Variable #

Constructors

Variable String

Instances

Instances details

Eq Variable #
Instance details Defined in AbsChi Methods (==) ∷ Variable → Variable → Bool (/=) ∷ Variable → Variable → Bool
Ord Variable #
Instance details Defined in AbsChi 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 #
Instance details Defined in AbsChi Methods readsPrec ∷ Int → ReadS Variable readList ∷ ReadS [Variable] readPrec ∷ ReadPrec Variable readListPrec ∷ ReadPrec [Variable]
Show Variable #
Instance details Defined in AbsChi Methods showsPrec ∷ Int → Variable → ShowS show ∷ Variable → String showList ∷ [Variable] → ShowS
Generic Variable
Instance details Defined in Chi Associated Types type Rep Variable ∷ Type → Type Methods from ∷ Variable → Rep Variable x to ∷ Rep Variable x → Variable
Hashable Variable
Instance details Defined in Chi Methods hashWithSalt ∷ Int → Variable → Int hash ∷ Variable → Int
Arbitrary Variable	A QuickCheck generator for (a small number of) variables.
Instance details Defined in Chi Methods arbitrary ∷ Gen Variable shrink ∷ Variable → [Variable]
type Rep Variable
Instance details Defined in Chi type Rep Variable = D1 ('MetaData "Variable" "AbsChi" "main" 'True) (C1 ('MetaCons "Variable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe 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

Instances details

Eq Exp #
Instance details Defined in AbsChi Methods (==) ∷ Exp → Exp → Bool (/=) ∷ Exp → Exp → Bool
Ord Exp #
Instance details Defined in AbsChi 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 #
Instance details Defined in AbsChi Methods readsPrec ∷ Int → ReadS Exp readList ∷ ReadS [Exp] readPrec ∷ ReadPrec Exp readListPrec ∷ ReadPrec [Exp]
Show Exp #
Instance details Defined in AbsChi Methods showsPrec ∷ Int → Exp → ShowS show ∷ Exp → String showList ∷ [Exp] → ShowS
Generic Exp
Instance details Defined in Chi Associated Types type Rep Exp ∷ Type → Type Methods from ∷ Exp → Rep Exp x to ∷ Rep Exp x → Exp
Arbitrary Exp	A QuickCheck generator for terms.
Instance details Defined in Chi Methods arbitrary ∷ Gen Exp shrink ∷ Exp → [Exp]
type Rep Exp
Instance details Defined in Chi type Rep Exp = D1 ('MetaData "Exp" "AbsChi" "main" 'False) ((C1 ('MetaCons "Apply" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "Lambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "Case" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Br])))) :+: (C1 ('MetaCons "Rec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Variable)) :+: C1 ('MetaCons "Const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constructor) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp])))))

data Br #

Constructors

Branch Constructor [Variable] Exp

Instances

Instances details

Eq Br #
Instance details Defined in AbsChi Methods (==) ∷ Br → Br → Bool (/=) ∷ Br → Br → Bool
Ord Br #
Instance details Defined in AbsChi 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 #
Instance details Defined in AbsChi Methods readsPrec ∷ Int → ReadS Br readList ∷ ReadS [Br] readPrec ∷ ReadPrec Br readListPrec ∷ ReadPrec [Br]
Show Br #
Instance details Defined in AbsChi Methods showsPrec ∷ Int → Br → ShowS show ∷ Br → String showList ∷ [Br] → ShowS
Generic Br
Instance details Defined in Chi Associated Types type Rep Br ∷ Type → Type Methods from ∷ Br → Rep Br x to ∷ Rep Br x → Br
Arbitrary Br	A QuickCheck generator for branches.
Instance details Defined in Chi Methods arbitrary ∷ Gen Br shrink ∷ Br → [Br]
type Rep Br
Instance details Defined in Chi type Rep Br = D1 ('MetaData "Br" "AbsChi" "main" 'False) (C1 ('MetaCons "Branch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constructor) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Variable]) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))