Module
Type.Trout.Links
- Package
- purescript-trout
- Repository
- owickstrom/purescript-trout
#HasLinks Source
class HasLinks t links | t -> links where
A routing type t
which has links of type links
.
Members
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) URI
HasLinks (Raw m) URI
(HasLinks t1 mk1, HasLinks t2 (Record mk2), IsSymbol name, RowCons name mk1 mk2 links) => HasLinks (name := t1 :<|> t2) (Record links)
(HasLinks t mk, IsSymbol name, RowCons name mk () out) => HasLinks (name := t) (Record out)