idris-1.3.0: Functional Programming Language with Dependent Types

License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

IRTS.Simplified

Description

Documentation

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

data SDecl Source #

Constructors

SFun Name [Name] Int SExp

Instances

Show SDecl Source #
Methods showsPrec :: Int -> SDecl -> ShowS # show :: SDecl -> String # showList :: [SDecl] -> ShowS #

data SExp 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

Show SExp Source #
Methods showsPrec :: Int -> SExp -> ShowS # show :: SExp -> String # showList :: [SExp] -> ShowS #

data SAlt Source #

Constructors

SConCase Int Int Name [Name] SExp
SConstCase Const SExp
SDefaultCase SExp

Instances

Show SAlt Source #
Methods showsPrec :: Int -> SAlt -> ShowS # show :: SAlt -> String # showList :: [SAlt] -> ShowS #