Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- newtype Nested (b :: Type) (f :: Type -> Type) = Nested (HKD b f)
- type family Nest (a :: Type) (f :: Type -> Type) = (res :: Type) | res -> a where ...
- nested :: forall b f k. (Build b f k, Coercible (HKD b f) (Nested b f), Coercible k (Nest k f)) => Nest k f
- getNested :: Construct f b => Nested b f -> f b

# Documentation

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

Newtype wrapper around `HKD`

.

## Instances

ProductB (HKD b) => ProductB (Nested b :: (Type -> Type) -> Type) Source # | |

TraversableB (HKD b) => TraversableB (Nested b :: (Type -> Type) -> Type) Source # | |

Defined in Options.Harg.Nested btraverse :: Applicative t => (forall (a :: k). f a -> t (g a)) -> Nested b f -> t (Nested b g) # | |

FunctorB (HKD b) => FunctorB (Nested b :: (Type -> Type) -> Type) Source # | |

Defined in Options.Harg.Nested | |

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 #