idris-1.3.3: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.Simplified

Description

 

Documentation

data SDecl Source #

Constructors

SFun Name [Name] Int SExp 

Instances

Instances details
Show SDecl Source # 
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 Source #

Instances

Instances details
Show SExp Source # 
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 Source #

Instances

Instances details
Show SAlt Source # 
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