Safe Haskell	Safe-Inferred
Language	Haskell2010

Ema.Route.Lib.File

Synopsis

newtype FileRoute (filename :: Symbol) = FileRoute ()

Documentation

newtype FileRoute (filename :: Symbol) Source #

A type-level singleton route, whose encoding is given by the symbol parameter.

FileRoute "foo.html" encodes to "foo.html".

TODO: Can this type be simplified? See https://stackoverflow.com/q/72755053/55246

Constructors

FileRoute ()

Instances

Instances details

Generic (FileRoute filename) Source #
Instance details Defined in Ema.Route.Lib.File Associated Types type Rep (FileRoute filename) :: Type -> Type # Methods from :: FileRoute filename -> Rep (FileRoute filename) x # to :: Rep (FileRoute filename) x -> FileRoute filename #
Show (FileRoute filename) Source #
Instance details Defined in Ema.Route.Lib.File Methods showsPrec :: Int -> FileRoute filename -> ShowS # show :: FileRoute filename -> String # showList :: [FileRoute filename] -> ShowS #
KnownSymbol fn => IsRoute (FileRoute fn) Source #
Instance details Defined in Ema.Route.Lib.File Associated Types type RouteModel (FileRoute fn) Source # Methods routePrism :: RouteModel (FileRoute fn) -> Prism_ FilePath (FileRoute fn) Source # routeUniverse :: RouteModel (FileRoute fn) -> [FileRoute fn] Source #
Eq (FileRoute filename) Source #
Instance details Defined in Ema.Route.Lib.File Methods (==) :: FileRoute filename -> FileRoute filename -> Bool # (/=) :: FileRoute filename -> FileRoute filename -> Bool #
Ord (FileRoute filename) Source #
Instance details Defined in Ema.Route.Lib.File Methods compare :: FileRoute filename -> FileRoute filename -> Ordering # (<) :: FileRoute filename -> FileRoute filename -> Bool # (<=) :: FileRoute filename -> FileRoute filename -> Bool # (>) :: FileRoute filename -> FileRoute filename -> Bool # (>=) :: FileRoute filename -> FileRoute filename -> Bool # max :: FileRoute filename -> FileRoute filename -> FileRoute filename # min :: FileRoute filename -> FileRoute filename -> FileRoute filename #
type Rep (FileRoute filename) Source #
Instance details Defined in Ema.Route.Lib.File type Rep (FileRoute filename) = D1 ('MetaData "FileRoute" "Ema.Route.Lib.File" "ema-0.10.0.0-IvDsUicoMaZ9ZiKA06zERq" 'True) (C1 ('MetaCons "FileRoute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))
type RouteModel (FileRoute fn) Source #
Instance details Defined in Ema.Route.Lib.File type RouteModel (FileRoute fn) = ()