IdrisDoc: ForeignEnv

ForeignEnv

data FEnv : FFI -> List Type -> Type
Nil : FEnv f []
(::) : (ffi_types f t, t) -> FEnv f xs -> FEnv f (t :: xs)
Fixity
Left associative, precedence 7