Options.Harg.Het.Prod

Documentation

data ((a :: (Type -> Type) -> Type) :* (b :: (Type -> Type) -> Type)) (f :: Type -> Type) infixr 4

Infix version of Product. Allows to combine higher-kinded types, and keep them partially applied until needed:

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

  type Config = Nested User :* Single Int

  configOpt :: Config Opt
  configOpt = ...

Constructors

(a f) :* (b f) infixr 4

Instances

(ApplicativeB a, ApplicativeB b) => ApplicativeB (a :* b :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

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

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

(FunctorB a, FunctorB b) => FunctorB (a :* b :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

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

(TraversableB a, TraversableB b) => TraversableB (a :* b :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

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

(GetSource l f, GetSource r f) => GetSource (l :* r) f

Defined in Options.Harg.Sources.Types

Associated Types

type SourceVal (l :* r)

Methods

getSource :: HargCtx -> (l :* r) f -> IO (SourceVal (l :* r))

(Show (a Identity), Show (b Identity)) => Show ((a :* b) Identity)

Defined in Options.Harg.Het.Prod

Methods

showsPrec :: Int -> (a :* b) Identity -> ShowS

show :: (a :* b) Identity -> String

showList :: [(a :* b) Identity] -> ShowS

Generic ((a :* b) f)

Defined in Options.Harg.Het.Prod

Associated Types

type Rep ((a :* b) f) :: Type -> Type

Methods

from :: (a :* b) f -> Rep ((a :* b) f) x

to :: Rep ((a :* b) f) x -> (a :* b) f

(FromJSON (a Maybe), FromJSON (b Maybe), ApplicativeB a, ApplicativeB b, KnownSymbol ta, KnownSymbol tb) => FromJSON ((Tagged ta a :* Tagged tb b) Maybe)

Defined in Options.Harg.Het.Prod

Methods

parseJSON :: Value -> Parser ((Tagged ta a :* Tagged tb b) Maybe)

parseJSONList :: Value -> Parser [(Tagged ta a :* Tagged tb b) Maybe]

(FromJSON (a Maybe), FromJSON (b' Maybe), ApplicativeB a, ApplicativeB b', KnownSymbol ta, b' ~ (Tagged tb b :* c)) => FromJSON ((Tagged ta a :* (Tagged tb b :* c)) Maybe)

Defined in Options.Harg.Het.Prod

Methods

parseJSON :: Value -> Parser ((Tagged ta a :* (Tagged tb b :* c)) Maybe)

parseJSONList :: Value -> Parser [(Tagged ta a :* (Tagged tb b :* c)) Maybe]

type SourceVal (l :* r)

Defined in Options.Harg.Sources.Types

type SourceVal (l :* r) = (SourceVal l, SourceVal r)

type Rep ((a :* b) f)

Defined in Options.Harg.Het.Prod

type Rep ((a :* b) f) = D1 ('MetaData ":*" "Options.Harg.Het.Prod" "harg-0.5.0.0-inplace" 'False) (C1 ('MetaCons ":*" ('InfixI 'RightAssociative 4) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a f)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (b f))))

newtype Tagged (t :: k) (a :: (Type -> Type) -> Type) (f :: Type -> Type)

This type adds a type-level phantom tag to a higher-kinded type. Its JSON instance allows using :* with JSONSource.

Constructors

Tagged

Fields

• unTagged :: a f

Instances

ApplicativeB a => ApplicativeB (Tagged t a :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

bpure :: (forall (a0 :: k). f a0) -> Tagged t a f

bprod :: forall (f :: k -> Type) (g :: k -> Type). Tagged t a f -> Tagged t a g -> Tagged t a (Product f g)

FunctorB a => FunctorB (Tagged t a :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

bmap :: (forall (a0 :: k). f a0 -> g a0) -> Tagged t a f -> Tagged t a g

TraversableB a => TraversableB (Tagged t a :: (Type -> Type) -> Type)

Defined in Options.Harg.Het.Prod

Methods

btraverse :: Applicative e => (forall (a0 :: k). f a0 -> e (g a0)) -> Tagged t a f -> e (Tagged t a g)

(FromJSON (a Maybe), FromJSON (b Maybe), ApplicativeB a, ApplicativeB b, KnownSymbol ta, KnownSymbol tb) => FromJSON ((Tagged ta a :* Tagged tb b) Maybe)

Defined in Options.Harg.Het.Prod

Methods

parseJSON :: Value -> Parser ((Tagged ta a :* Tagged tb b) Maybe)

parseJSONList :: Value -> Parser [(Tagged ta a :* Tagged tb b) Maybe]

(FromJSON (a Maybe), FromJSON (b' Maybe), ApplicativeB a, ApplicativeB b', KnownSymbol ta, b' ~ (Tagged tb b :* c)) => FromJSON ((Tagged ta a :* (Tagged tb b :* c)) Maybe)

Defined in Options.Harg.Het.Prod

Methods

parseJSON :: Value -> Parser ((Tagged ta a :* (Tagged tb b :* c)) Maybe)

parseJSONList :: Value -> Parser [(Tagged ta a :* (Tagged tb b :* c)) Maybe]

Generic (Tagged t a f)

Defined in Options.Harg.Het.Prod

Associated Types

type Rep (Tagged t a f) :: Type -> Type

Methods

from :: Tagged t a f -> Rep (Tagged t a f) x

to :: Rep (Tagged t a f) x -> Tagged t a f

FromJSON (a f) => FromJSON (Tagged t a f)

Defined in Options.Harg.Het.Prod

Methods

parseJSON :: Value -> Parser (Tagged t a f)

parseJSONList :: Value -> Parser [Tagged t a f]

type Rep (Tagged t a f)

Defined in Options.Harg.Het.Prod

type Rep (Tagged t a f) = D1 ('MetaData "Tagged" "Options.Harg.Het.Prod" "harg-0.5.0.0-inplace" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a f))))