Module
Jarilo.Path
- Package
- purescript-jarilo
- Repository
- bklaric/purescript-jarilo
#Sub Source
data Sub :: Segment -> Path -> Path
Instances
(IsSymbol literal, SegmentRouter (Literal literal) input midput, PathRouter path midput output) => PathRouter (Sub (Literal literal) path) input output
(IsSymbol name, SegmentRouter (Capture name result) input midput, PathRouter path midput output) => PathRouter (Sub (Capture name result) path) input output
#PathError Source
data PathError
Constructors
NotEndError { restOfPath :: List PathSegment }
SegmentEndError { expectedSegment :: String }
#PathRouterErrors Source
type PathRouterErrors errors = (pathError :: PathError, segmentError :: SegmentError | errors)
#PathRouter Source
class PathRouter (path :: Path) (input :: Row Type) (output :: Row Type) | path -> input output where
Members
pathRouter :: forall errors. PathProxy path -> List PathSegment -> Either (Variant (PathRouterErrors errors)) (Builder (Record input) (Record output))
Instances
PathRouter End input input
(IsSymbol literal, SegmentRouter (Literal literal) input midput, PathRouter path midput output) => PathRouter (Sub (Literal literal) path) input output
(IsSymbol name, SegmentRouter (Capture name result) input midput, PathRouter path midput output) => PathRouter (Sub (Capture name result) path) input output