Idris2Doc : Network.HTTP.Path

Network.HTTP.Path

(source)
Definitions
record Path : Type
  Totality: total
  Visibility: export
  Constructor: 
MkPath : List1 PathComponent -> Path

  Projection: 
.components : Path -> List1 PathComponent

  Hints:
  
FromString Path
  
Semigroup Path
  
Show Path
normalize : Path -> Path
  Visibility: export