Documentation

Methods

showsPrec :: Int -> CodecRep -> ShowS #

show :: CodecRep -> String #

showList :: [CodecRep] -> ShowS #

Methods

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

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

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 #

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) #

Methods

showsPrec :: Int -> CaptureRep codecRep -> ShowS #

show :: CaptureRep codecRep -> String #

showList :: [CaptureRep codecRep] -> ShowS #

Methods

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

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

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 #

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) #

Methods

showsPrec :: Int -> ParamRep codecRep -> ShowS #

show :: ParamRep codecRep -> String #

showList :: [ParamRep codecRep] -> ShowS #

Methods

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

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

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 #

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) #

Methods

showsPrec :: Int -> QueryRep codecRep -> ShowS #

show :: QueryRep codecRep -> String #

showList :: [QueryRep codecRep] -> ShowS #

Methods

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

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

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 #

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) #

Methods

showsPrec :: Int -> RouteRep codecRep -> ShowS #

show :: RouteRep codecRep -> String #

showList :: [RouteRep codecRep] -> ShowS #

Methods

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

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

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 #

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) #

Methods

showsPrec :: Int -> RoutesRep codecRep -> ShowS #

show :: RoutesRep codecRep -> String #

showList :: [RoutesRep codecRep] -> ShowS #