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

IRTS.Simplified

Description

 

Documentation

simplifyDefs :: DDefs -> [(Name, DDecl)] -> TC [(Name, SDecl)] #

data SDecl #

Constructors

SFun Name [Name] Int SExp 

Instances

Instances details
ToJSON SDecl # 
Instance details

Defined in IRTS.Portable

Show SDecl # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SDecl -> ShowS #

show :: SDecl -> String #

showList :: [SDecl] -> ShowS #

data SExp #

Instances

Instances details
ToJSON SExp # 
Instance details

Defined in IRTS.Portable

Show SExp # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SExp -> ShowS #

show :: SExp -> String #

showList :: [SExp] -> ShowS #

data SAlt #

Instances

Instances details
ToJSON SAlt # 
Instance details

Defined in IRTS.Portable

Show SAlt # 
Instance details

Defined in IRTS.Simplified

Methods

showsPrec :: Int -> SAlt -> ShowS #

show :: SAlt -> String #

showList :: [SAlt] -> ShowS #