Idris2Doc : HTTP.Parser.URI

HTTP.Parser.URI

(source)
Definitions
ispchar : Bits8 -> Bool
  Totality: total
  Visibility: export
isAuthByte : Bits8 -> Bool
  Totality: total
  Visibility: export
isQueryByte : Bits8 -> Bool
  Totality: total
  Visibility: export
isQueryNameByte : Bits8 -> Bool
  Totality: total
  Visibility: export
isFragmentByte : Bits8 -> Bool
  Totality: total
  Visibility: export
record Part : Type
  Totality: total
  Visibility: public export
  Constructor: 
P : Maybe ByteString -> Maybe ByteString -> Bool -> SnocList ByteString -> Maybe ByteString -> Maybe ByteString -> Part

  Projections:
  
.abs : Part -> Bool
  
.auth : Part -> Maybe ByteString
  
.frag : Part -> Maybe ByteString
  
.ques : Part -> Maybe ByteString
  
.sch : Part -> Maybe ByteString
  
.segs : Part -> SnocList ByteString

  Hints:
  
Eq Part
  
Show Part
.sch : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
sch : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
.auth : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
auth : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
.abs : Part -> Bool
  Totality: total
  Visibility: public export
abs : Part -> Bool
  Totality: total
  Visibility: public export
.segs : Part -> SnocList ByteString
  Totality: total
  Visibility: public export
segs : Part -> SnocList ByteString
  Totality: total
  Visibility: public export
.ques : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
ques : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
.frag : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
frag : Part -> Maybe ByteString
  Totality: total
  Visibility: public export
0 SK : Type -> Type
  Totality: total
  Visibility: public export
uri : P1 q (BoundedErr Void) Part
  Totality: total
  Visibility: public export