Yesod.Routes.TH.Types

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

Data types

data Resource typ

Constructors

Resource

Fields

• resourceName :: String
• resourcePieces :: [Piece typ]
• resourceDispatch :: Dispatch typ
• resourceAttrs :: [String]
• resourceCheck :: CheckOverlap

Instances

Functor Resource

Defined in Yesod.Routes.TH.Types

Methods

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

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

Show typ => Show (Resource typ)

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)

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

Constructors

ResourceLeaf (Resource typ)

ResourceParent String CheckOverlap [Piece typ] [ResourceTree typ]

Instances

Functor ResourceTree

Defined in Yesod.Routes.TH.Types

Methods

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

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

Show typ => Show (ResourceTree typ)

Defined in Yesod.Routes.TH.Types

Methods

showsPrec :: Int -> ResourceTree typ -> ShowS

show :: ResourceTree typ -> String

showList :: [ResourceTree typ] -> ShowS

Lift typ => Lift (ResourceTree typ :: Type)

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

Constructors

Static String

Dynamic typ

Instances

Functor Piece

Defined in Yesod.Routes.TH.Types

Methods

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

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

Show typ => Show (Piece typ)

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)

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

Constructors

Methods

Fields

• methodsMulti :: Maybe typ

  type of the multi piece at the end

• methodsMethods :: [String]

  supported request methods

Subsite

Fields

• subsiteType :: typ
• subsiteFunc :: String

Instances

Functor Dispatch

Defined in Yesod.Routes.TH.Types

Methods

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

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

Show typ => Show (Dispatch typ)

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)

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)

type CheckOverlap = Bool

data FlatResource a

Constructors

FlatResource

Fields

• frParentPieces :: [(String, [Piece a])]
• frName :: String
• frPieces :: [Piece a]
• frDispatch :: Dispatch a
• frCheck :: Bool

Instances

Show a => Show (FlatResource a)

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

resourceTreePieces :: ResourceTree typ -> [Piece typ]

resourceTreeName :: ResourceTree typ -> String

flatten :: [ResourceTree a] -> [FlatResource a]