Data.Extensible.Nullable

Documentation

vacancy :: Generate xs => Nullable h :* xs

A product filled with Nullable Nothing

coinclusion :: (Include ys xs, Generate ys) => Nullable (Membership xs) :* ys

The inverse of inclusion.

wrench :: (Generate ys, xs ⊆ ys) => (h :* xs) -> Nullable h :* ys

Extend a product and fill missing fields by Null.

retrench :: (Generate ys, xs ⊆ ys) => (h :| ys) -> Nullable ((:|) h) xs

Narrow the range of the sum, if possible.

newtype Nullable h x

Wrapped Maybe

Constructors

Nullable

Fields

• getNullable :: Maybe (h x)

Instances

Wrapper k h => Wrapper k (Nullable k h)

Associated Types

type Repr (Nullable k h) (h :: Nullable k h -> *) (v :: Nullable k h) :: *

Methods

_Wrapper :: (Functor f, Profunctor p) => Optic' * * p f (h v) (Repr (Nullable k h) h v)

Eq (h x) => Eq (Nullable k h x)

Methods

(==) :: Nullable k h x -> Nullable k h x -> Bool

(/=) :: Nullable k h x -> Nullable k h x -> Bool

Ord (h x) => Ord (Nullable k h x)

Methods

compare :: Nullable k h x -> Nullable k h x -> Ordering

(<) :: Nullable k h x -> Nullable k h x -> Bool

(<=) :: Nullable k h x -> Nullable k h x -> Bool

(>) :: Nullable k h x -> Nullable k h x -> Bool

(>=) :: Nullable k h x -> Nullable k h x -> Bool

max :: Nullable k h x -> Nullable k h x -> Nullable k h x

min :: Nullable k h x -> Nullable k h x -> Nullable k h x

Show (h x) => Show (Nullable k h x)

Methods

showsPrec :: Int -> Nullable k h x -> ShowS

show :: Nullable k h x -> String

showList :: [Nullable k h x] -> ShowS

Semigroup (h x) => Monoid (Nullable k h x)

Methods

mempty :: Nullable k h x

mappend :: Nullable k h x -> Nullable k h x -> Nullable k h x

mconcat :: [Nullable k h x] -> Nullable k h x

type Repr k (Nullable k h) x

type Repr k (Nullable k h) x = Maybe (Repr k h x)

mapNullable :: (g x -> h y) -> Nullable g x -> Nullable h y

Apply a function to its content.