Module

Payload.Internal.UrlParsing

Package
purescript-payload
Repository
hoodunit/purescript-payload

#debugShowUrl Source

debugShowUrl :: forall urlParts urlStr. ParseUrl urlStr urlParts => ShowUrl urlParts => SProxy urlStr -> String

#ShowUrl Source

class ShowUrl (urlParts :: UrlList)  where

Members

Instances

#asSegments Source

asSegments :: forall urlParts urlStr. ParseUrl urlStr urlParts => ToSegments urlParts => SProxy urlStr -> List Segment

#ToSegments Source

class ToSegments (urlParts :: UrlList)  where

Members

Instances

#UrlListProxy Source

data UrlListProxy (f :: UrlList)

Constructors

#UrlList Source

data UrlList :: Type

#UrlNil Source

data UrlNil :: UrlList

Instances

#UrlCons Source

data UrlCons :: UrlPart -> UrlList -> UrlList

Instances

#UrlParseFail Source

data UrlParseFail :: UrlList

Instances

#ParseUrl Source

class ParseUrl (string :: Symbol) (parts :: UrlList) | string -> parts

Instances

#Match Source

class Match (url :: Symbol) (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (mode :: Symbol) (out :: UrlList) | head tail acc mode -> out

Instances

#UrlPart Source

data UrlPart :: Type

#Key Source

data Key :: Symbol -> UrlPart

Instances

#Lit Source

data Lit :: Symbol -> UrlPart

Instances

#Multi Source

data Multi :: Symbol -> UrlPart

Instances

#ParseError Source

class ParseError (path :: Symbol) (remaining :: Symbol) (msg :: Symbol) (doc :: Doc) | path remaining msg -> doc

Instances