yesod-core-1.6.25.0: Creation of type-safe, RESTful web applications.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Yesod.Routes.TH.Types

Description

Warning! This module is considered internal and may have breaking changes

Synopsis

Data types

data Resource typ Source #

Instances

Instances details
Functor Resource Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

fmap :: (a -> b) -> Resource a -> Resource b #

(<$) :: a -> Resource b -> Resource a #

Show typ => Show (Resource typ) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> Resource typ -> ShowS #

show :: Resource typ -> String #

showList :: [Resource typ] -> ShowS #

Lift typ => Lift (Resource typ :: Type) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

lift :: Quote m => Resource typ -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Resource typ -> Code m (Resource typ) #

data ResourceTree typ Source #

Instances

Instances details
Functor ResourceTree Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

fmap :: (a -> b) -> ResourceTree a -> ResourceTree b #

(<$) :: a -> ResourceTree b -> ResourceTree a #

Show typ => Show (ResourceTree typ) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Lift typ => Lift (ResourceTree typ :: Type) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

lift :: Quote m => ResourceTree typ -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => ResourceTree typ -> Code m (ResourceTree typ) #

data Piece typ Source #

Constructors

Static String 
Dynamic typ 

Instances

Instances details
Functor Piece Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

fmap :: (a -> b) -> Piece a -> Piece b #

(<$) :: a -> Piece b -> Piece a #

Show typ => Show (Piece typ) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> Piece typ -> ShowS #

show :: Piece typ -> String #

showList :: [Piece typ] -> ShowS #

Lift typ => Lift (Piece typ :: Type) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

lift :: Quote m => Piece typ -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Piece typ -> Code m (Piece typ) #

data Dispatch typ Source #

Constructors

Methods 

Fields

Subsite 

Fields

Instances

Instances details
Functor Dispatch Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

fmap :: (a -> b) -> Dispatch a -> Dispatch b #

(<$) :: a -> Dispatch b -> Dispatch a #

Show typ => Show (Dispatch typ) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> Dispatch typ -> ShowS #

show :: Dispatch typ -> String #

showList :: [Dispatch typ] -> ShowS #

Lift typ => Lift (Dispatch typ :: Type) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Methods

lift :: Quote m => Dispatch typ -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Dispatch typ -> Code m (Dispatch typ) #

data FlatResource a Source #

Constructors

FlatResource 

Instances

Instances details
Show a => Show (FlatResource a) Source # 
Instance details

Defined in Yesod.Routes.TH.Types

Helper functions