Axon.Request.Parts.Path

data Path :: forall k. k -> Type -> Typedata Path a b

Constructors

• Path b

Instances

• Generic (Path a b) _
• (Eq b) => Eq (Path a b)
• (Show b) => Show (Path a b)

data Sep :: forall ka kb. ka -> kb -> Typedata Sep a b

Instances

• (PathParts aa ab, PathParts ba bb) => PathParts (Sep aa ba) (Tuple ab bb)

data IgnoreRest

Instances

• PathParts IgnoreRest Unit

Operator alias for Axon.Request.Parts.Path.Sep (right-associative / precedence 9)

Operator alias for Axon.Request.Parts.Path.IgnoreRest (left-associative / precedence 9)

class DiscardTupledUnits a b | a -> b where

Members

• discardTupledUnits :: a -> b

Instances

• (DiscardTupledUnits a b) => DiscardTupledUnits (Tuple Unit a) b
• (DiscardTupledUnits a b) => DiscardTupledUnits (Tuple a Unit) b
• (DiscardTupledUnits aa ab, DiscardTupledUnits ba bb) => DiscardTupledUnits (Tuple aa ba) (Tuple ab bb)
• DiscardTupledUnits a a

class PathParts :: forall k. k -> Type -> Constraintclass PathParts a b | a -> b where

Members

• extractPathParts :: URL -> Array String -> Maybe ((Array String) /\ b)

Instances

• (PathParts aa ab, PathParts ba bb) => PathParts (Sep aa ba) (Tuple ab bb)
• PathParts IgnoreRest Unit
• PathParts String String
• PathParts Int Int
• (IsSymbol k) => PathParts k Unit