Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Nested (b :: Type) (f :: Type -> Type) Source #
Newtype wrapper around HKD
.
Instances
ApplicativeB (HKD b) => ApplicativeB (Nested b :: (Type -> Type) -> Type) Source # | |
FunctorB (HKD b) => FunctorB (Nested b :: (Type -> Type) -> Type) Source # | |
Defined in Options.Harg.Nested | |
TraversableB (HKD b) => TraversableB (Nested b :: (Type -> Type) -> Type) Source # | |
Defined in Options.Harg.Nested 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) Source # | |
FromJSON (HKD b f) => FromJSON (Nested b f) Source # | |
type Rep (Nested b f) Source # | |
Defined in Options.Harg.Nested |
nested :: forall b f k. (Build b f k, Coercible (HKD b f) (Nested b f), Coercible k (Nest k f)) => Nest k f Source #