agda-lib-ffi-0.0.2

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.FFI

Documentation

type AgdaList a b = [b] Source

type AgdaMaybe a b = Maybe b Source

type AgdaEither a b c d = Either c d Source

data AgdaEmpty Source

data AgdaStream a Source

Constructors

Cons a (AgdaStream a)