web-routes-generics-0.1.0.2: portable, type-safe URL routing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Web.Routes.Generics

Documentation

class GToURL f where Source #

Instances

Instances details
GToURL (U1 :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). U1 a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser (U1 a) Source #

(GToURL f, GToURL g) => GToURL (f :*: g :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). (f :*: g) a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser ((f :*: g) a) Source #

(GToURL f, GToURL g) => GToURL (f :+: g :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). (f :+: g) a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser ((f :+: g) a) Source #

(Constructor c, GToURL f) => GToURL (C1 c f :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). C1 c f a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser (C1 c f a) Source #

GToURL f => GToURL (D1 c f :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). D1 c f a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser (D1 c f a) Source #

PathInfo a => GToURL (K1 i a :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a0 :: k0). K1 i a a0 -> [Text] Source #

gfromPathSegments :: forall (a0 :: k0). URLParser (K1 i a a0) Source #

GToURL f => GToURL (S1 c f :: k -> Type) Source # 
Instance details

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: forall (a :: k0). S1 c f a -> [Text] Source #

gfromPathSegments :: forall (a :: k0). URLParser (S1 c f a) Source #