Routing.Duplex.Generic

sum :: forall a rep r. Generic a rep => GRouteDuplex rep r => Record r -> RouteDuplex' a

class GRouteDuplex :: Type -> Row Type -> Constraintclass GRouteDuplex rep (r :: Row Type) | rep -> r where

Members

• gRouteDuplex :: Record r -> RouteDuplex' rep

Instances

• (GRouteDuplex a r, GRouteDuplex b r) => GRouteDuplex (Sum a b) r
• (IsSymbol sym, Cons sym (RouteDuplex a a) rx r, GRouteDuplexCtr a b) => GRouteDuplex (Constructor sym b) r

class GRouteDuplexCtr a b | a -> b where

Members

• gRouteDuplexCtr :: RouteDuplex' a -> RouteDuplex' b

Instances

• GRouteDuplexCtr (Product a b) (Product a b)
• GRouteDuplexCtr NoArguments NoArguments
• GRouteDuplexCtr (Argument a) (Argument a)
• GRouteDuplexCtr a (Argument a)

product :: forall a b c. GRouteDuplexCtr b c => RouteDuplex' a -> RouteDuplex' b -> RouteDuplex' (Product (Argument a) c)

noArgs :: RouteDuplex' NoArguments

Operator alias for Routing.Duplex.Generic.product (right-associative / precedence 0)