gjwt/header

Types

</>

pub type Header {
  Header(entries: HeaderEntries)
}

</>

pub type HeaderEntries =
  List(HeaderEntry)

</>

pub type HeaderEntry =
  #(String, dynamic.Dynamic)

</>

pub fn add_entry(
  header: Header,
  entry: #(String, Dynamic),
) -> Header

</>

pub fn get_entries(header: Header) -> List(#(String, Dynamic))

</>

pub fn get_entry(
  header: Header,
  key: String,
) -> Result(#(String, Dynamic), Nil)

</>

pub fn new() -> Header

</>

pub fn remove_entry(header: Header, key: String) -> Header

</>

pub fn to_json(header: Header) -> Json