| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ema.Route.Generic.SubModel
Contents
Documentation
class HasSubRoutes r => HasSubModels r where Source #
Methods
subModels :: RouteModel r -> NP I (MultiModel (SubRoutes r)) Source #
Break the model into a list of sub-models used correspondingly by the sub-routes.
Instances
| (VerifyModels (RouteModel (GenericRoute r opts)) (MultiModel (SubRoutes (GenericRoute r opts))) (OptSubModels r opts), VerifyRoutes (RCode r) (SubRoutes (GenericRoute r opts)), GSubModels (RouteModel (GenericRoute r opts)) (MultiModel (OptSubRoutes r opts)) (OptSubModels r opts), HasSubRoutes (GenericRoute r opts), GenericRouteOpts r opts) => HasSubModels (GenericRoute r opts) Source # | |
Defined in Ema.Route.Generic Methods subModels :: RouteModel (GenericRoute r opts) -> NP I (MultiModel (SubRoutes (GenericRoute r opts))) Source # | |
class GSubModels m (ms :: [Type]) (lookups :: [k]) where Source #
Methods
gsubModels :: m -> NP I ms Source #
Instances
| GSubModels m ('[] :: [Type]) ('[] :: [k]) Source # | |
Defined in Ema.Route.Generic.SubModel Methods gsubModels :: m -> NP I '[] Source # | |
| (HasAny s m m t t, GSubModels m ms ss) => GSubModels m (t ': ms) (s ': ss :: [k]) Source # | |
Defined in Ema.Route.Generic.SubModel Methods gsubModels :: m -> NP I (t ': ms) Source # | |