Type.Trout.Links

newtype Link

Instances

• Monoid Link
• Semigroup Link
• Newtype Link _
• Generic Link
• Eq Link

class HasLinks e mk | e -> mk where

Members

• toLinks :: Proxy e -> Link -> mk

Instances

• (HasLinks sub subMk, IsSymbol lit) => HasLinks ((Lit lit) :> sub) subMk
• (HasLinks sub subMk, IsSymbol c, ToPathPiece t) => HasLinks ((Capture c t) :> sub) (t -> subMk)
• (HasLinks sub subMk, IsSymbol c, ToPathPiece t) => HasLinks ((CaptureAll c t) :> sub) (Array t -> subMk)
• HasLinks (Resource ms cts) URI
• HasLinks (Raw m) URI
• (HasLinks e1 mk1, HasLinks e2 mk2) => HasLinks (e1 :<|> e2) (mk1 :<|> mk2)

linksTo :: forall t e. HasLinks e t => Proxy e -> t