IRTS.Simplified

Description

Documentation

Constructors

Instances

Show SDecl #
Instance details Defined in IRTS.Simplified Methods showsPrec :: Int -> SDecl -> ShowS # show :: SDecl -> String # showList :: [SDecl] -> ShowS #
ToJSON SDecl #
Instance details Defined in IRTS.Portable Methods toJSON :: SDecl -> Value # toEncoding :: SDecl -> Encoding # toJSONList :: [SDecl] -> Value # toEncodingList :: [SDecl] -> Encoding #

data SExp #

Constructors

SV LVar
SApp Bool Name [LVar]
SLet LVar SExp SExp
SUpdate LVar SExp
SCon (Maybe LVar) Int Name [LVar]
SCase CaseType LVar [SAlt]
SChkCase LVar [SAlt]
SProj LVar Int
SConst Const
SForeign FDesc FDesc [(FDesc, LVar)]
SOp PrimFn [LVar]
SNothing
SError String

Instances

Show SExp #
Instance details Defined in IRTS.Simplified Methods showsPrec :: Int -> SExp -> ShowS # show :: SExp -> String # showList :: [SExp] -> ShowS #
ToJSON SExp #
Instance details Defined in IRTS.Portable Methods toJSON :: SExp -> Value # toEncoding :: SExp -> Encoding # toJSONList :: [SExp] -> Value # toEncodingList :: [SExp] -> Encoding #

data SAlt #

Constructors

SConCase Int Int Name [Name] SExp
SConstCase Const SExp
SDefaultCase SExp

Instances

Show SAlt #
Instance details Defined in IRTS.Simplified Methods showsPrec :: Int -> SAlt -> ShowS # show :: SAlt -> String # showList :: [SAlt] -> ShowS #
ToJSON SAlt #
Instance details Defined in IRTS.Portable Methods toJSON :: SAlt -> Value # toEncoding :: SAlt -> Encoding # toJSONList :: [SAlt] -> Value # toEncodingList :: [SAlt] -> Encoding #