Safe Haskell	Safe

CoreFP

Documentation

data Exp Source #

Constructors

Var Id
App Exp Exp
Abs Id Exp
Con Id
Let Id Exp Exp
Ite Exp Exp Exp

Instances

Eq Exp #
Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
Show Exp #
Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #

data Type Source #

Constructors

TVar Int
TCon Id [Type]

Instances

Eq Type #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

type TSub = [(Int, Type)] Source #

type Env = [(String, Type)] Source #

primitives :: Env Source #

tvars :: Type -> [Int] Source #

tcomp :: TSub -> TSub -> TSub Source #

tsub :: TSub -> Type -> Type Source #

tint :: Type Source #

tbool :: Type Source #

tpair :: Type -> Type -> Type Source #

tlist :: Type -> Type Source #

fromString :: String -> Exp Source #

(~>) :: Type -> Type -> Type infixr 8 Source #