pandora-0.4.6: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Structure.Ability.Nullable

Documentation

class Nullable t where Source #

Methods

null :: (Predicate :. t) := a Source #

Instances

Instances details
Nullable Maybe Source # 
Instance details

Defined in Pandora.Paradigm.Structure

Methods

null :: forall (a :: k). (Predicate :. Maybe) := a Source #

Nullable List Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.List

Methods

null :: forall (a :: k). (Predicate :. List) := a Source #

Nullable Rose Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.Rose

Methods

null :: forall (a :: k). (Predicate :. Rose) := a Source #

Nullable Binary Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

null :: forall (a :: k). (Predicate :. Binary) := a Source #

Nullable (t <:.> Construction t) => Nullable (Comprehension t :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

null :: forall (a :: k). (Predicate :. Comprehension t) := a Source #