gjwt/header

Types

</>

pub type Header {
  Header(entries: List(#(String, dynamic.Dynamic)))
}

Header(entries: List(#(String, dynamic.Dynamic)))

</>

pub type HeaderEntries =
  List(#(String, dynamic.Dynamic))

</>

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

</>

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

</>

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

</>

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

</>

pub fn new() -> Header

</>

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

</>

pub fn to_json(header: Header) -> json.Json