Pandora.Paradigm.Structure.Ability.Nullable

Documentation

class Nullable t where

Methods

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

Instances

Nullable Maybe

Defined in Pandora.Paradigm.Structure

Methods

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

Nullable List

Defined in Pandora.Paradigm.Structure.Some.List

Methods

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

Nullable Rose

Defined in Pandora.Paradigm.Structure.Some.Rose

Methods

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

Nullable Binary

Defined in Pandora.Paradigm.Structure.Some.Binary

Methods

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

Nullable (t <:.> Construction t) => Nullable (Comprehension t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

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