License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.Simplified
Description
Documentation
Instances
ToJSON SDecl | |
Defined in IRTS.Portable Methods toEncoding :: SDecl -> Encoding toJSONList :: [SDecl] -> Value toEncodingList :: [SDecl] -> Encoding | |
Show SDecl Source # | |
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
ToJSON SExp | |
Defined in IRTS.Portable Methods toEncoding :: SExp -> Encoding toJSONList :: [SExp] -> Value toEncodingList :: [SExp] -> Encoding | |
Show SExp Source # | |
Constructors
SConCase Int Int Name [Name] SExp | |
SConstCase Const SExp | |
SDefaultCase SExp |
Instances
ToJSON SAlt | |
Defined in IRTS.Portable Methods toEncoding :: SAlt -> Encoding toJSONList :: [SAlt] -> Value toEncodingList :: [SAlt] -> Encoding | |
Show SAlt Source # | |