Trasa.TH.Types

Documentation

data CodecRep

Constructors

CodecRep

Fields

• codecRepName :: Name
• codecRepCodec :: Type
• codecRepType :: Type

Instances

Show CodecRep

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> CodecRep -> ShowS

show :: CodecRep -> String

showList :: [CodecRep] -> ShowS

data CaptureRep codecRep

Constructors

MatchRep String

CaptureRep codecRep

Instances

Functor CaptureRep

Defined in Trasa.TH.Types

Methods

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

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

Foldable CaptureRep

Defined in Trasa.TH.Types

Methods

fold :: Monoid m => CaptureRep m -> m

foldMap :: Monoid m => (a -> m) -> CaptureRep a -> m

foldr :: (a -> b -> b) -> b -> CaptureRep a -> b

foldr' :: (a -> b -> b) -> b -> CaptureRep a -> b

foldl :: (b -> a -> b) -> b -> CaptureRep a -> b

foldl' :: (b -> a -> b) -> b -> CaptureRep a -> b

foldr1 :: (a -> a -> a) -> CaptureRep a -> a

foldl1 :: (a -> a -> a) -> CaptureRep a -> a

toList :: CaptureRep a -> [a]

null :: CaptureRep a -> Bool

length :: CaptureRep a -> Int

elem :: Eq a => a -> CaptureRep a -> Bool

maximum :: Ord a => CaptureRep a -> a

minimum :: Ord a => CaptureRep a -> a

sum :: Num a => CaptureRep a -> a

product :: Num a => CaptureRep a -> a

Traversable CaptureRep

Defined in Trasa.TH.Types

Methods

traverse :: Applicative f => (a -> f b) -> CaptureRep a -> f (CaptureRep b)

sequenceA :: Applicative f => CaptureRep (f a) -> f (CaptureRep a)

mapM :: Monad m => (a -> m b) -> CaptureRep a -> m (CaptureRep b)

sequence :: Monad m => CaptureRep (m a) -> m (CaptureRep a)

Show codecRep => Show (CaptureRep codecRep)

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> CaptureRep codecRep -> ShowS

show :: CaptureRep codecRep -> String

showList :: [CaptureRep codecRep] -> ShowS

data ParamRep codecRep

Constructors

FlagRep

OptionalRep codecRep

ListRep codecRep

Instances

Functor ParamRep

Defined in Trasa.TH.Types

Methods

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

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

Foldable ParamRep

Defined in Trasa.TH.Types

Methods

fold :: Monoid m => ParamRep m -> m

foldMap :: Monoid m => (a -> m) -> ParamRep a -> m

foldr :: (a -> b -> b) -> b -> ParamRep a -> b

foldr' :: (a -> b -> b) -> b -> ParamRep a -> b

foldl :: (b -> a -> b) -> b -> ParamRep a -> b

foldl' :: (b -> a -> b) -> b -> ParamRep a -> b

foldr1 :: (a -> a -> a) -> ParamRep a -> a

foldl1 :: (a -> a -> a) -> ParamRep a -> a

toList :: ParamRep a -> [a]

null :: ParamRep a -> Bool

length :: ParamRep a -> Int

elem :: Eq a => a -> ParamRep a -> Bool

maximum :: Ord a => ParamRep a -> a

minimum :: Ord a => ParamRep a -> a

sum :: Num a => ParamRep a -> a

product :: Num a => ParamRep a -> a

Traversable ParamRep

Defined in Trasa.TH.Types

Methods

traverse :: Applicative f => (a -> f b) -> ParamRep a -> f (ParamRep b)

sequenceA :: Applicative f => ParamRep (f a) -> f (ParamRep a)

mapM :: Monad m => (a -> m b) -> ParamRep a -> m (ParamRep b)

sequence :: Monad m => ParamRep (m a) -> m (ParamRep a)

Show codecRep => Show (ParamRep codecRep)

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> ParamRep codecRep -> ShowS

show :: ParamRep codecRep -> String

showList :: [ParamRep codecRep] -> ShowS

data QueryRep codecRep

Constructors

QueryRep

Fields

• queryRepKey :: String
• queryRepParam :: ParamRep codecRep

Instances

Functor QueryRep

Defined in Trasa.TH.Types

Methods

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

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

Foldable QueryRep

Defined in Trasa.TH.Types

Methods

fold :: Monoid m => QueryRep m -> m

foldMap :: Monoid m => (a -> m) -> QueryRep a -> m

foldr :: (a -> b -> b) -> b -> QueryRep a -> b

foldr' :: (a -> b -> b) -> b -> QueryRep a -> b

foldl :: (b -> a -> b) -> b -> QueryRep a -> b

foldl' :: (b -> a -> b) -> b -> QueryRep a -> b

foldr1 :: (a -> a -> a) -> QueryRep a -> a

foldl1 :: (a -> a -> a) -> QueryRep a -> a

toList :: QueryRep a -> [a]

null :: QueryRep a -> Bool

length :: QueryRep a -> Int

elem :: Eq a => a -> QueryRep a -> Bool

maximum :: Ord a => QueryRep a -> a

minimum :: Ord a => QueryRep a -> a

sum :: Num a => QueryRep a -> a

product :: Num a => QueryRep a -> a

Traversable QueryRep

Defined in Trasa.TH.Types

Methods

traverse :: Applicative f => (a -> f b) -> QueryRep a -> f (QueryRep b)

sequenceA :: Applicative f => QueryRep (f a) -> f (QueryRep a)

mapM :: Monad m => (a -> m b) -> QueryRep a -> m (QueryRep b)

sequence :: Monad m => QueryRep (m a) -> m (QueryRep a)

Show codecRep => Show (QueryRep codecRep)

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> QueryRep codecRep -> ShowS

show :: QueryRep codecRep -> String

showList :: [QueryRep codecRep] -> ShowS

data RouteRep codecRep

Constructors

RouteRep

Fields

• routeRepName :: String
• routeRepMethod :: String
• routeRepCaptures :: [CaptureRep codecRep]
• routeRepQueries :: [QueryRep codecRep]
• routeReqRequest :: [codecRep]
• routeReqResponse :: NonEmpty codecRep

Instances

Functor RouteRep

Defined in Trasa.TH.Types

Methods

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

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

Foldable RouteRep

Defined in Trasa.TH.Types

Methods

fold :: Monoid m => RouteRep m -> m

foldMap :: Monoid m => (a -> m) -> RouteRep a -> m

foldr :: (a -> b -> b) -> b -> RouteRep a -> b

foldr' :: (a -> b -> b) -> b -> RouteRep a -> b

foldl :: (b -> a -> b) -> b -> RouteRep a -> b

foldl' :: (b -> a -> b) -> b -> RouteRep a -> b

foldr1 :: (a -> a -> a) -> RouteRep a -> a

foldl1 :: (a -> a -> a) -> RouteRep a -> a

toList :: RouteRep a -> [a]

null :: RouteRep a -> Bool

length :: RouteRep a -> Int

elem :: Eq a => a -> RouteRep a -> Bool

maximum :: Ord a => RouteRep a -> a

minimum :: Ord a => RouteRep a -> a

sum :: Num a => RouteRep a -> a

product :: Num a => RouteRep a -> a

Traversable RouteRep

Defined in Trasa.TH.Types

Methods

traverse :: Applicative f => (a -> f b) -> RouteRep a -> f (RouteRep b)

sequenceA :: Applicative f => RouteRep (f a) -> f (RouteRep a)

mapM :: Monad m => (a -> m b) -> RouteRep a -> m (RouteRep b)

sequence :: Monad m => RouteRep (m a) -> m (RouteRep a)

Show codecRep => Show (RouteRep codecRep)

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> RouteRep codecRep -> ShowS

show :: RouteRep codecRep -> String

showList :: [RouteRep codecRep] -> ShowS

data RoutesRep codecRep

Constructors

RoutesRep

Fields

• routesRepName :: String
• routesRepRoutes :: [RouteRep codecRep]

Instances

Functor RoutesRep

Defined in Trasa.TH.Types

Methods

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

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

Foldable RoutesRep

Defined in Trasa.TH.Types

Methods

fold :: Monoid m => RoutesRep m -> m

foldMap :: Monoid m => (a -> m) -> RoutesRep a -> m

foldr :: (a -> b -> b) -> b -> RoutesRep a -> b

foldr' :: (a -> b -> b) -> b -> RoutesRep a -> b

foldl :: (b -> a -> b) -> b -> RoutesRep a -> b

foldl' :: (b -> a -> b) -> b -> RoutesRep a -> b

foldr1 :: (a -> a -> a) -> RoutesRep a -> a

foldl1 :: (a -> a -> a) -> RoutesRep a -> a

toList :: RoutesRep a -> [a]

null :: RoutesRep a -> Bool

length :: RoutesRep a -> Int

elem :: Eq a => a -> RoutesRep a -> Bool

maximum :: Ord a => RoutesRep a -> a

minimum :: Ord a => RoutesRep a -> a

sum :: Num a => RoutesRep a -> a

product :: Num a => RoutesRep a -> a

Traversable RoutesRep

Defined in Trasa.TH.Types

Methods

traverse :: Applicative f => (a -> f b) -> RoutesRep a -> f (RoutesRep b)

sequenceA :: Applicative f => RoutesRep (f a) -> f (RoutesRep a)

mapM :: Monad m => (a -> m b) -> RoutesRep a -> m (RoutesRep b)

sequence :: Monad m => RoutesRep (m a) -> m (RoutesRep a)

Show codecRep => Show (RoutesRep codecRep)

Defined in Trasa.TH.Types

Methods

showsPrec :: Int -> RoutesRep codecRep -> ShowS

show :: RoutesRep codecRep -> String

showList :: [RoutesRep codecRep] -> ShowS