-module(howdy@context). -compile(no_auto_import). -export([new/3, is_authenticated/1]). -export_type([context/1]). -type context(IJE) :: {context, list(howdy@url_parser:url_segment()), gleam@http@request:request(bitstring()), gleam@option:option(howdy@context@user:user()), IJE}. -spec new( list(howdy@url_parser:url_segment()), gleam@http@request:request(bitstring()), IJN ) -> context(IJN). 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.