CGen

Documentation

data CType

Constructors

CR

CI

CB

Af

Ai

Ab

Instances

Pretty CType

Defined in CGen

Methods

pretty :: CType -> Doc ann

prettyList :: [CType] -> Doc ann

data TTE

Constructors

HO

Poly

FArg

ArrFn

Instances

Exception TTE

Defined in CGen

Methods

toException :: TTE -> SomeException

fromException :: SomeException -> Maybe TTE

displayException :: TTE -> String

backtraceDesired :: TTE -> Bool

Show TTE

Defined in CGen

Methods

showsPrec :: Int -> TTE -> ShowS

show :: TTE -> String

showList :: [TTE] -> ShowS

Pretty TTE

Defined in CGen

Methods

pretty :: TTE -> Doc ann

prettyList :: [TTE] -> Doc ann

tCTy :: T a -> Either TTE ([CType], CType)

pCty :: Text -> T a -> Either TTE (Doc ann)