Type.Trout.Links

newtype Link

A link, containing zero or more path segments.

Instances

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

class HasLinks t links | t -> links where

A routing type t which has links of type links.

Members

• toLinks :: Proxy t -> Link -> links

Instances

• (HasLinks sub subMk, IsSymbol lit) => HasLinks (Sub (Lit lit) sub) subMk
• (HasLinks sub subMk, IsSymbol c, ToPathPiece t) => HasLinks (Sub (Capture c t) sub) (t -> subMk)
• (HasLinks sub subMk, IsSymbol c, ToPathPiece t) => HasLinks (Sub (CaptureAll c t) sub) (Array t -> subMk)
• HasLinks (Resource ms) (Either (URI UserInfo (Maybe (These Host Port)) Path (Either PathAbsolute PathRootless) Query Fragment) (RelativeRef UserInfo (Maybe (These Host Port)) Path (Either PathAbsolute PathNoScheme) Query Fragment))
• HasLinks (Raw m) (Either (URI UserInfo (Maybe (These Host Port)) Path (Either PathAbsolute PathRootless) Query Fragment) (RelativeRef UserInfo (Maybe (These Host Port)) Path (Either PathAbsolute PathNoScheme) Query Fragment))
• (HasLinks t1 mk1, HasLinks t2 (Record mk2), IsSymbol name, Cons name mk1 mk2 links) => HasLinks (Alt (Named name t1) t2) (Record links)
• (HasLinks t mk, IsSymbol name, Cons name mk () out) => HasLinks (Named name t) (Record out)

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

Derive links for the type t.