Language.SystemF.Expression

Documentation

data SystemFExpr name ty

Constructors

Var name

App (SystemFExpr name ty) (SystemFExpr name ty)

Abs name (Ty ty) (SystemFExpr name ty)

TyAbs ty (SystemFExpr name ty)

TyApp (SystemFExpr name ty) (Ty ty)

Instances

(Eq ty, Eq name) => Eq (SystemFExpr name ty)

Methods

(==) :: SystemFExpr name ty -> SystemFExpr name ty -> Bool

(/=) :: SystemFExpr name ty -> SystemFExpr name ty -> Bool

(Show ty, Show name) => Show (SystemFExpr name ty)

Methods

showsPrec :: Int -> SystemFExpr name ty -> ShowS

show :: SystemFExpr name ty -> String

showList :: [SystemFExpr name ty] -> ShowS

(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t)

Methods

prettyPrint :: SystemFExpr n t -> String

data Ty name

Constructors

TyVar name

TyArrow (Ty name) (Ty name)

TyForAll name (Ty name)

Instances

Eq name => Eq (Ty name)

Methods

(==) :: Ty name -> Ty name -> Bool

(/=) :: Ty name -> Ty name -> Bool

Show name => Show (Ty name)

Methods

showsPrec :: Int -> Ty name -> ShowS

show :: Ty name -> String

showList :: [Ty name] -> ShowS

PrettyPrint n => PrettyPrint (Ty n)

Methods

prettyPrint :: Ty n -> String

prettyPrint' :: PrettyPrint n => SystemFExpr n n -> String

pprExpr :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> PDoc String

pprApp :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> SystemFExpr n t -> PDoc String

pprTApp :: (PrettyPrint n, PrettyPrint t) => PDoc String -> SystemFExpr n t -> Ty t -> PDoc String

pprAbs :: (PrettyPrint n, PrettyPrint t) => PDoc String -> n -> Ty t -> SystemFExpr n t -> PDoc String

pprTy :: PrettyPrint n => PDoc String -> Bool -> Ty n -> PDoc String

pprTyArrow :: PrettyPrint n => PDoc String -> Bool -> Ty n -> Ty n -> PDoc String

pprTyArrow' :: Bool -> PDoc String -> PDoc String -> PDoc String

pprTyForAll :: PrettyPrint n => PDoc String -> n -> Ty n -> PDoc String

pprTAbs :: (PrettyPrint n, PrettyPrint t) => PDoc String -> t -> SystemFExpr n t -> PDoc String

uncurryAbs :: n -> Ty t -> SystemFExpr n t -> ([(n, Ty t)], SystemFExpr n t)

uncurryTAbs :: t -> SystemFExpr n t -> ([t], SystemFExpr n t)