Idris2Doc : Data.LLVM.Interface

Data.LLVM.Interface

Reexports

importpublic Data.LLVM.IR.Builders

Definitions

interfaceStartable : Type->Type->Type
Parameters: a, b
Methods:
startWith : b->a->a

Implementation: 
String->VString
startWith : Startableab=>b->a->a
Visibility: public export
interfaceEndable : Type->Type->Type
Parameters: a, b
Methods:
endWith : a->b->a

Implementation: 
String->VString
endWith : Endableab=>a->b->a
Visibility: public export
interfaceSurrondable : Type->Type->Type
Parameters: a, b
Constraints: Monoid a, Startable a b, Endable a b
Implementation: 
String->VString
(<<+) : Startableab=>b->a->a
Visibility: public export
Fixity Declaration: infixl operator, level 9
(+>>) : Endableab=>a->b->a
Visibility: public export
Fixity Declaration: infixr operator, level 9
interfaceMacro : Type->Type->Type
Parameters: a, b
Methods:
applyMacro : a->b->ListLStatement

Implementation: 
String->VString
applyMacro : Macroab=>a->b->ListLStatement
Visibility: public export