idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.CodegenCommon

Documentation

data DbgLevel Source

Constructors

NONE
DEBUG
TRACE

Instances

data OutputType Source

Constructors

Raw
Object
Executable
MavenProject

Instances

Eq OutputType
Show OutputType

environment :: String -> IO (Maybe String)Source