Network.HTTP.Cookie

Definitions

record Cookie : Type

Totality: total
Visibility: public export
Constructor: 

MkCookie : String -> String -> List (String, Maybe String) -> Cookie

Projections:

.attributes : Cookie -> List (String, Maybe String)

.key : Cookie -> String

.value : Cookie -> String

Hints:

Eq Cookie

Ord Cookie

Show Cookie

.key : Cookie -> String

Visibility: public export

key : Cookie -> String

Visibility: public export

.value : Cookie -> String

Visibility: public export

value : Cookie -> String

Visibility: public export

.attributes : Cookie -> List (String, Maybe String)

Visibility: public export

attributes : Cookie -> List (String, Maybe String)

Visibility: public export

record CookieJar : Type

Totality: total
Visibility: public export
Constructor: 

MkCookieJar : List Cookie -> CookieJar

Projection: 

.cookies : CookieJar -> List Cookie

Hints:

Eq CookieJar

Ord CookieJar

Show CookieJar

.cookies : CookieJar -> List Cookie

Visibility: public export

cookies : CookieJar -> List Cookie

Visibility: public export

serialize_cookie_no_attr : Cookie -> String

Visibility: export

serialize_cookie : Cookie -> String

Visibility: export

same_key : Cookie -> Cookie -> Bool

Visibility: export

add_cookie : CookieJar -> Cookie -> CookieJar

Visibility: export

deserialize_cookie : String -> Maybe Cookie

Visibility: export