idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.Simplified

Description

 

Documentation

data SDecl Source #

Constructors

SFun Name [Name] Int SExp 

Instances

Instances details
ToJSON SDecl 
Instance details

Defined in IRTS.Portable

Methods

toJSON :: SDecl -> Value

toEncoding :: SDecl -> Encoding

toJSONList :: [SDecl] -> Value

toEncodingList :: [SDecl] -> Encoding

Show SDecl Source # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SDecl -> ShowS

show :: SDecl -> String

showList :: [SDecl] -> ShowS

data SExp Source #

Instances

Instances details
ToJSON SExp 
Instance details

Defined in IRTS.Portable

Methods

toJSON :: SExp -> Value

toEncoding :: SExp -> Encoding

toJSONList :: [SExp] -> Value

toEncodingList :: [SExp] -> Encoding

Show SExp Source # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SExp -> ShowS

show :: SExp -> String

showList :: [SExp] -> ShowS

data SAlt Source #

Instances

Instances details
ToJSON SAlt 
Instance details

Defined in IRTS.Portable

Methods

toJSON :: SAlt -> Value

toEncoding :: SAlt -> Encoding

toJSONList :: [SAlt] -> Value

toEncodingList :: [SAlt] -> Encoding

Show SAlt Source # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SAlt -> ShowS

show :: SAlt -> String

showList :: [SAlt] -> ShowS