Chakra.Types
Description
Types
data InfoDetail Source #
Constructors
Fields
Defined in Chakra.Types
Methods
(==) :: InfoDetail -> InfoDetail -> Bool #
(/=) :: InfoDetail -> InfoDetail -> Bool #
showsPrec :: Int -> InfoDetail -> ShowS #
show :: InfoDetail -> String #
showList :: [InfoDetail] -> ShowS #
Associated Types
type Rep InfoDetail :: Type -> Type #
from :: InfoDetail -> Rep InfoDetail x #
to :: Rep InfoDetail x -> InfoDetail #
toJSON :: InfoDetail -> Value #
toEncoding :: InfoDetail -> Encoding #
toJSONList :: [InfoDetail] -> Value #
toEncodingList :: [InfoDetail] -> Encoding #
def :: InfoDetail #
fromEnv :: Maybe InfoDetail -> Parser InfoDetail #
data AuthenticatedUser Source #
showsPrec :: Int -> AuthenticatedUser -> ShowS #
show :: AuthenticatedUser -> String #
showList :: [AuthenticatedUser] -> ShowS #
type Rep AuthenticatedUser :: Type -> Type #
from :: AuthenticatedUser -> Rep AuthenticatedUser x #
to :: Rep AuthenticatedUser x -> AuthenticatedUser #
toJSON :: AuthenticatedUser -> Value #
toEncoding :: AuthenticatedUser -> Encoding #
toJSONList :: [AuthenticatedUser] -> Value #
toEncodingList :: [AuthenticatedUser] -> Encoding #
parseJSON :: Value -> Parser AuthenticatedUser #
parseJSONList :: Value -> Parser [AuthenticatedUser] #
decodeJWT :: ClaimsSet -> Either Text AuthenticatedUser #
encodeJWT :: AuthenticatedUser -> ClaimsSet #