Data.Possible

Documentation

data Possible a

Constructors

HaveNull

MissingData

HaveData a

Instances

Monad Possible

Functor Possible

Applicative Possible

Show a => Show (Possible a)

Generic (Possible a)

Typeable (* -> *) Possible

type Rep (Possible a)

possible :: b -> b -> (a -> b) -> Possible a -> b

isPossibleData :: Possible a -> Bool

isPossibleMissing :: Possible a -> Bool

isPossibleNull :: Possible a -> Bool

fromHaveData :: Possible a -> a