Language.SystemF

Documentation

class PrettyPrint a where

Minimal complete definition

prettyPrint

Methods

prettyPrint :: a -> String

Instances

PrettyPrint String

Methods

prettyPrint :: String -> String

PrettyPrint s => PrettyPrint (PDoc s)

Methods

prettyPrint :: PDoc s -> String

PrettyPrint n => PrettyPrint (Ty n)

Methods

prettyPrint :: Ty n -> String

PrettyPrint a => PrettyPrint (LambdaExpr a)

Methods

prettyPrint :: LambdaExpr a -> String

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

Methods

prettyPrint :: SystemFExpr n t -> String

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

evalString :: String -> Either ParseError (SystemFExpr String String)

parseExpr :: String -> Either ParseError (SystemFExpr String String)