Jarilo.Junction

data Junction :: Type

data NamedRoute :: Symbol -> Route -> Junction

Instances

• (RouteRouter route fields, Lacks name start, Cons name (Variant RouteErrors) start end, Cons name (Record fields) inputRecords records, IsSymbol name) => JunctionRouter (NamedRoute name route) start end records

Operator alias for Jarilo.Junction.NamedRoute (right-associative / precedence 9)

data Junction :: Junction -> Junction -> Junction

Instances

• (JunctionRouter leftJunction start mid records, JunctionRouter rightJunction mid end records) => JunctionRouter (Junction leftJunction rightJunction) start end records

Operator alias for Jarilo.Junction.Junction (right-associative / precedence 8)

data JunctionProxy (junction :: Junction)

Constructors

• JunctionProxy

class JunctionRouter (junction :: Junction) (start :: Row Type) (end :: Row Type) (records :: Row Type) | junction -> start end records where

Members

• junctionRouter :: JunctionProxy junction -> Either CustomMethod Method -> List PathSegment -> QueryPairs Key Value -> Either (Builder (Record start) (Record end)) (Variant records)

Instances

• (RouteRouter route fields, Lacks name start, Cons name (Variant RouteErrors) start end, Cons name (Record fields) inputRecords records, IsSymbol name) => JunctionRouter (NamedRoute name route) start end records
• (JunctionRouter leftJunction start mid records, JunctionRouter rightJunction mid end records) => JunctionRouter (Junction leftJunction rightJunction) start end records

router :: forall results errors junction. JunctionRouter junction () errors results => JunctionProxy junction -> Either CustomMethod Method -> List PathSegment -> QueryPairs Key Value -> Either (Record errors) (Variant results)