-module(howdy@context). -compile(no_auto_import). -export([new/3, is_authenticated/1]). -export_type([context/1]). -type context(HZQ) :: {context, list(howdy@url_parser:url_segment()), gleam@http@request:request(bitstring()), gleam@option:option(howdy@context@user:user()), HZQ}. -spec new( list(howdy@url_parser:url_segment()), gleam@http@request:request(bitstring()), HZZ ) -> context(HZZ). new(Url, Request, Config) -> {context, Url, Request, none, Config}. -spec is_authenticated(context(any())) -> boolean(). is_authenticated(Context) -> case erlang:element(4, Context) of {some, _@1} -> true; none -> false end.