Idris2Doc : Data.LLVM.Interface
Reexports
import public Data.LLVM.IR.Builders
Definitions
interface Startable : Type -> Type -> Type
- Parameters: a, b
Methods:
startWith : b -> a -> a
Implementation: String -> VString
startWith : Startable a b => b -> a -> a
- Visibility: public export
interface Endable : Type -> Type -> Type
- Parameters: a, b
Methods:
endWith : a -> b -> a
Implementation: String -> VString
endWith : Endable a b => a -> b -> a
- Visibility: public export
interface Surrondable : Type -> Type -> Type
- Parameters: a, b
Constraints: Monoid a, Startable a b, Endable a b
Implementation: String -> VString
(<<+) : Startable a b => b -> a -> a
- Visibility: public export
Fixity Declaration: infixl operator, level 9 (+>>) : Endable a b => a -> b -> a
- Visibility: public export
Fixity Declaration: infixr operator, level 9 interface Macro : Type -> Type -> Type
- Parameters: a, b
Methods:
applyMacro : a -> b -> List LStatement
Implementation: String -> VString
applyMacro : Macro a b => a -> b -> List LStatement
- Visibility: public export