Data.Microgroove.Lib.Exists

Documentation

data Some f where

The Existential Type Some f is some f x where x is known at runtime

Constructors

Some :: f x -> Some f

data MaybeSome f

Avoids one indirection compared with Maybe (Some f)

Constructors

JustSome (f x)

None