Data.Extensible.Nullable

Documentation

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

A product filled with Nullable Nothing

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

The inverse of inclusion.

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

Extend a product and fill missing fields by Null.

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

Narrow the range of the sum, if possible.

newtype Nullable h x

Wrapped Maybe

Constructors

Nullable

Fields

• getNullable :: Maybe (h x)

Instances

Wrapper h => Wrapper (Nullable h :: k -> Type)

Defined in Data.Extensible.Nullable

Associated Types

type Repr (Nullable h) v :: Type

Methods

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

wrap :: Repr (Nullable h) v -> Nullable h v

unwrap :: Nullable h v -> Repr (Nullable h) v

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

Defined in Data.Extensible.Nullable

Methods

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

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

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

Defined in Data.Extensible.Nullable

Methods

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

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

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

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

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

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

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

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

Defined in Data.Extensible.Nullable

Methods

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

show :: Nullable h x -> String

showList :: [Nullable h x] -> ShowS

Generic (Nullable h x)

Defined in Data.Extensible.Nullable

Associated Types

type Rep (Nullable h x) :: Type -> Type

Methods

from :: Nullable h x -> Rep (Nullable h x) x0

to :: Rep (Nullable h x) x0 -> Nullable h x

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

Defined in Data.Extensible.Nullable

Methods

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

sconcat :: NonEmpty (Nullable h x) -> Nullable h x

stimes :: Integral b => b -> Nullable h x -> Nullable h x

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

Defined in Data.Extensible.Nullable

Methods

mempty :: Nullable h x

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

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

Lift (h a) => Lift (Nullable h a)

Defined in Data.Extensible.Nullable

Methods

lift :: Nullable h a -> Q Exp

Arbitrary (h x) => Arbitrary (Nullable h x)

Defined in Data.Extensible.Nullable

Methods

arbitrary :: Gen (Nullable h x)

shrink :: Nullable h x -> [Nullable h x]

Hashable (h x) => Hashable (Nullable h x)

Defined in Data.Extensible.Nullable

Methods

hashWithSalt :: Int -> Nullable h x -> Int

hash :: Nullable h x -> Int

Forall (KeyTargetAre KnownSymbol (Instance1 ToJSON h)) xs => ToJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type))

Defined in Data.Extensible.Dictionary

Methods

toJSON :: (xs :& Nullable (Field h)) -> Value

toEncoding :: (xs :& Nullable (Field h)) -> Encoding

toJSONList :: [xs :& Nullable (Field h)] -> Value

toEncodingList :: [xs :& Nullable (Field h)] -> Encoding

Forall (KeyTargetAre KnownSymbol (Instance1 FromJSON h)) xs => FromJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type))

Defined in Data.Extensible.Dictionary

Methods

parseJSON :: Value -> Parser (xs :& Nullable (Field h))

parseJSONList :: Value -> Parser [xs :& Nullable (Field h)]

NFData (h x) => NFData (Nullable h x)

Defined in Data.Extensible.Nullable

Methods

rnf :: Nullable h x -> ()

type Repr (Nullable h :: k -> Type) (x :: k)

Defined in Data.Extensible.Nullable

type Repr (Nullable h :: k -> Type) (x :: k) = Maybe (Repr h x)

type Rep (Nullable h x)

Defined in Data.Extensible.Nullable

type Rep (Nullable h x) = D1 (MetaData "Nullable" "Data.Extensible.Nullable" "extensible-0.8-BFx4iY1XFYP1mvaDMl3Grp" True) (C1 (MetaCons "Nullable" PrefixI True) (S1 (MetaSel (Just "getNullable") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (h x)))))

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

Apply a function to its content.

fromNullable :: h x -> Nullable h x -> h x

fromMaybe for Nullable.