agda-lib-ffi-0.0.2

Safe HaskellSafe-Inferred

Data.FFI

Documentation

type AgdaList a b = [b]Source

type AgdaMaybe a b = Maybe bSource

type AgdaEither a b c d = Either c dSource

data AgdaStream a Source

Constructors

Cons a (AgdaStream a)