Web.Routes.Generics

Documentation

data Path

Constructors

Foo

Bar Int Int

Instances

Show Path

Defined in Web.Routes.Generics

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Generic Path

Defined in Web.Routes.Generics

Associated Types

type Rep Path :: Type -> Type

Methods

from :: Path -> Rep Path x

to :: Rep Path x -> Path

PathInfo Path

Defined in Web.Routes.Generics

Methods

toPathSegments :: Path -> [Text]

fromPathSegments :: URLParser Path

type Rep Path

Defined in Web.Routes.Generics

type Rep Path = D1 (MetaData "Path" "Web.Routes.Generics" "web-routes-generics-0.1.0.0-JPy2nwKkl9DLaRTg23KHm9" False) (C1 (MetaCons "Foo" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Bar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

class GToURL f where

Methods

gtoPathSegments :: f a -> [Text]

gfromPathSegments :: URLParser (f a)

Instances

GToURL (U1 :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: U1 a -> [Text]

gfromPathSegments :: URLParser (U1 a)

GToURL f => GToURL (S1 c f :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: S1 c f a -> [Text]

gfromPathSegments :: URLParser (S1 c f a)

PathInfo a => GToURL (K1 i a :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: K1 i a a0 -> [Text]

gfromPathSegments :: URLParser (K1 i a a0)

GToURL f => GToURL (D1 c f :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: D1 c f a -> [Text]

gfromPathSegments :: URLParser (D1 c f a)

(GToURL f, GToURL g) => GToURL (f :*: g :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: (f :*: g) a -> [Text]

gfromPathSegments :: URLParser ((f :*: g) a)

(GToURL f, GToURL g) => GToURL (f :+: g :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: (f :+: g) a -> [Text]

gfromPathSegments :: URLParser ((f :+: g) a)

(Constructor c, GToURL f) => GToURL (C1 c f :: k -> Type)

Defined in Web.Routes.Generics

Methods

gtoPathSegments :: C1 c f a -> [Text]

gfromPathSegments :: URLParser (C1 c f a)