Copyright	(c) Fumiaki Kinoshita 2018
License	BSD3
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Extensible.Nullable

Description

Synopsis

vacancy :: Generate xs => xs :& Nullable h
coinclusion :: (Include ys xs, Generate ys) => ys :& Nullable (Membership xs)
wrench :: (Generate ys, xs ⊆ ys) => (xs :& h) -> ys :& Nullable h
retrench :: (Generate ys, xs ⊆ ys) => (ys :/ h) -> Nullable ((:/) xs) h
newtype Nullable h x = Nullable {
- getNullable :: Maybe (h x)
}
mapNullable :: (g x -> h y) -> Nullable g x -> Nullable h y
fromNullable :: h x -> Nullable h x -> h x
coinclusionAssoc :: (IncludeAssoc ys xs, Generate ys) => ys :& Nullable (Membership xs)
wrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (xs :& h) -> ys :& Nullable h
retrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (ys :/ h) -> Nullable ((:/) xs) h

Documentation

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

A product filled with Nullable Nothing

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

The inverse of inclusion.

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

Extend a product and fill missing fields by Null.

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

Narrow the range of the sum, if possible.

newtype Nullable h x Source #

Wrapped Maybe

Constructors

Nullable
Fields getNullable :: Maybe (h x)

Instances

Instances details

Wrapper h => Wrapper (Nullable h :: k -> Type) Source #
Instance details Defined in Data.Extensible.Nullable Associated Types type Repr (Nullable h) v Source # Methods _Wrapper :: forall f p (v :: k0). (Functor f, Profunctor p) => Optic' p f (Nullable h v) (Repr (Nullable h) v) Source # wrap :: forall (v :: k0). Repr (Nullable h) v -> Nullable h v Source # unwrap :: forall (v :: k0). Nullable h v -> Repr (Nullable h) v Source #
Lift (h x) => Lift (Nullable h x :: Type) Source #
Instance details Defined in Data.Extensible.Nullable Methods lift :: Quote m => Nullable h x -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Nullable h x -> Code m (Nullable h x) #
Arbitrary (h x) => Arbitrary (Nullable h x) Source #
Instance details Defined in Data.Extensible.Nullable Methods arbitrary :: Gen (Nullable h x) # shrink :: Nullable h x -> [Nullable h x] #
Forall (KeyTargetAre KnownSymbol (Instance1 FromJSON h)) xs => FromJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type)) Source #
Instance details Defined in Data.Extensible.Dictionary Methods parseJSON :: Value -> Parser (xs :& Nullable (Field h)) # parseJSONList :: Value -> Parser [xs :& Nullable (Field h)] # omittedField :: Maybe (xs :& Nullable (Field h)) #
Forall (KeyTargetAre KnownSymbol (Instance1 ToJSON h)) xs => ToJSON (xs :& Nullable (Field h :: Assoc Symbol v -> Type)) Source #
Instance details 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 # omitField :: (xs :& Nullable (Field h)) -> Bool #
Semigroup (h x) => Monoid (Nullable h x) Source #
Instance details 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 #
Semigroup (h x) => Semigroup (Nullable h x) Source #
Instance details 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 #
Generic (Nullable h x) Source #
Instance details 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 #
Show (h x) => Show (Nullable h x) Source #
Instance details Defined in Data.Extensible.Nullable Methods showsPrec :: Int -> Nullable h x -> ShowS # show :: Nullable h x -> String # showList :: [Nullable h x] -> ShowS #
NFData (h x) => NFData (Nullable h x) Source #
Instance details Defined in Data.Extensible.Nullable Methods rnf :: Nullable h x -> () #
Eq (h x) => Eq (Nullable h x) Source #
Instance details 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) Source #
Instance details 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 #
Hashable (h x) => Hashable (Nullable h x) Source #
Instance details Defined in Data.Extensible.Nullable Methods hashWithSalt :: Int -> Nullable h x -> Int # hash :: Nullable h x -> Int #
type Repr (Nullable h :: k -> Type) (x :: k) Source #
Instance details Defined in Data.Extensible.Nullable type Repr (Nullable h :: k -> Type) (x :: k) = Maybe (Repr h x)
type Rep (Nullable h x) Source #
Instance details Defined in Data.Extensible.Nullable type Rep (Nullable h x) = D1 ('MetaData "Nullable" "Data.Extensible.Nullable" "extensible-0.9.1-FlXPM1oMU0CaPk6p1u6nG" '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 Source #

Apply a function to its content.

fromNullable :: h x -> Nullable h x -> h x Source #

fromMaybe for Nullable.

coinclusionAssoc :: (IncludeAssoc ys xs, Generate ys) => ys :& Nullable (Membership xs) Source #

The inverse of inclusionAssoc.

wrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (xs :& h) -> ys :& Nullable h Source #

Extend a product and fill missing fields by Null.

retrenchAssoc :: (Generate ys, IncludeAssoc ys xs) => (ys :/ h) -> Nullable ((:/) xs) h Source #

Narrow the range of the sum, if possible.