| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| 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 # | |