ema-0.10.0.0: Static site generator library with hot reload
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ema.Route.Lib.File

Synopsis

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) = ()