Ema.Route.Generic.SubModel

Documentation

class HasSubRoutes r => HasSubModels r where

Methods

subModels :: RouteModel r -> NP I (MultiModel (SubRoutes r))

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)

Defined in Ema.Route.Generic

Methods

subModels :: RouteModel (GenericRoute r opts) -> NP I (MultiModel (SubRoutes (GenericRoute r opts)))

class GSubModels m (ms :: [Type]) (lookups :: [k]) where

Methods

gsubModels :: m -> NP I ms

Instances

GSubModels m ('[] :: [Type]) ('[] :: [k])

Defined in Ema.Route.Generic.SubModel

Methods

gsubModels :: m -> NP I '[]

(HasAny s m m t t, GSubModels m ms ss) => GSubModels m (t ': ms) (s ': ss :: [k])

Defined in Ema.Route.Generic.SubModel

Methods

gsubModels :: m -> NP I (t ': ms)

Orphan instances

HasAny () s s () ()

Methods

the :: Lens s s () ()

HasAny sel s t a b => HasAny (Proxy sel :: Type) s t a b

Methods

the :: Lens s t a b