Options.Harg.Nested

Documentation

newtype Nested (b :: Type) (f :: Type -> Type)

Newtype wrapper around HKD.

Constructors

Nested (HKD b f)

Instances

ApplicativeB (HKD b) => ApplicativeB (Nested b :: (Type -> Type) -> Type)

Defined in Options.Harg.Nested

Methods

bpure :: (forall (a :: k). f a) -> Nested b f

bprod :: forall (f :: k -> Type) (g :: k -> Type). Nested b f -> Nested b g -> Nested b (Product f g)

FunctorB (HKD b) => FunctorB (Nested b :: (Type -> Type) -> Type)

Defined in Options.Harg.Nested

Methods

bmap :: (forall (a :: k). f a -> g a) -> Nested b f -> Nested b g

TraversableB (HKD b) => TraversableB (Nested b :: (Type -> Type) -> Type)

Defined in Options.Harg.Nested

Methods

btraverse :: Applicative e => (forall (a :: k). f a -> e (g a)) -> Nested b f -> e (Nested b g)

Generic (HKD b f) => Generic (Nested b f)

Defined in Options.Harg.Nested

Associated Types

type Rep (Nested b f) :: Type -> Type

Methods

from :: Nested b f -> Rep (Nested b f) x

to :: Rep (Nested b f) x -> Nested b f

FromJSON (HKD b f) => FromJSON (Nested b f)

Defined in Options.Harg.Nested

Methods

parseJSON :: Value -> Parser (Nested b f)

parseJSONList :: Value -> Parser [Nested b f]

type Rep (Nested b f)

Defined in Options.Harg.Nested

type Rep (Nested b f) = Rep (HKD b f)

nested :: forall b f k. (Build b f k, Coercible (HKD b f) (Nested b f), Coercible k (Nest k f)) => Nest k f

See documentation for build

  data User = User { name :: String, age :: Int }
    deriving Generic

  someNestedValue :: Nested User Maybe
  someNestedValue
    = nested @User (Just Joe) (Just 30)

getNested :: Construct f b => Nested b f -> f b

See documentation for construct

  data User = User { name :: String, age :: Int }
    deriving Generic

  getUserBack :: Maybe User
  getUserBack
    = getNested hkdUser
    where
      hkdUser :: Nested User Maybe
      hkdUser
        = nested @User (Just Joe) (Just 30)

fromNested :: Construct Identity b => Nested b Identity -> b

Helper for when f ~ Identity

Orphan instances

GFromJSON Zero (HKD_ f structure) => FromJSON (HKD structure f)

Methods

parseJSON :: Value -> Parser (HKD structure f)

parseJSONList :: Value -> Parser [HKD structure f]