microgroove-0.2.1.0: Array-backed extensible records
Data.Microgroove.Lib.Exists
Synopsis
data Some f where Source #
The Existential Type Some f is some f x where x is known at runtime
Some f
f x
x
Constructors
data MaybeSome f Source #
Avoids one indirection compared with Maybe (Some f)
Maybe (Some f)