Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
IRTS.Lang
Description
Documentation
data ExportIFace #
Instances
Constructors
Constructors
FArith ArithTy | |
FFunction | |
FFunctionIO | |
FString | |
FUnit | |
FPtr | |
FManagedPtr | |
FCData | |
FAny |
Constructors
LConCase Int Name [Name] e | |
LConstCase Const e | |
LDefaultCase e |