idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
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