yesod-core-1.6.25.1: 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 #

Constructors

Resource 

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

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)

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

data ResourceTree typ Source #

Constructors

ResourceLeaf (Resource typ) 
ResourceParent String CheckOverlap [Piece typ] [ResourceTree typ] 

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

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)

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

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> ResourceTree typ -> ShowS

show :: ResourceTree typ -> String

showList :: [ResourceTree typ] -> ShowS

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

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)

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

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

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)

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

type CheckOverlap = Bool Source #

data FlatResource a Source #

Constructors

FlatResource 

Fields

Instances

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

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> FlatResource a -> ShowS

show :: FlatResource a -> String

showList :: [FlatResource a] -> ShowS

Helper functions

resourceMulti :: Resource typ -> Maybe typ Source #