idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.Simplified

Description

 

Documentation

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

data SDecl #

Constructors

SFun Name [Name] Int SExp 

Instances

data SAlt #

Instances

Show SAlt # 

Methods

showsPrec :: Int -> SAlt -> ShowS #

show :: SAlt -> String #

showList :: [SAlt] -> ShowS #