Routing.Duplex.Generic.Syntax

class GSep a b c | a b -> c where

Members

• gsep :: a -> b -> RouteDuplex' c

Instances

• GSep String String Unit
• (GRouteDuplexCtr a b) => GSep String (RouteDuplex a a) b
• (GRouteDuplexCtr a b) => GSep (RouteDuplex a a) String b
• (GRouteDuplexCtr b c) => GSep (RouteDuplex a a) (RouteDuplex b b) (Product (Argument a) c)

Operator alias for Routing.Duplex.Generic.Syntax.gsep (right-associative / precedence 1)

class GParams a b c | a b -> c where

Members

• gparams :: a -> b -> RouteDuplex' c

Instances

• (RouteDuplexParams r1 r2) => GParams String (Record r1) (Record r2)
• (RouteDuplexParams r1 r2) => GParams (RouteDuplex a a) (Record r1) (Product (Argument a) (Argument (Record r2)))

Operator alias for Routing.Duplex.Generic.Syntax.gparams (non-associative / precedence 8)