Finch
Copyright(c) Leon Vatthauer 2026
LicenseGPL-3
MaintainerLeon Vatthauer <leon.vatthauer@fau.de>
Stabilityexperimental
Portabilitynon-portable (ghc-wasm-meta)
Safe HaskellNone
LanguageGHC2024

App.URLDecoder

Description

This module defines function for encoding a Proof as URL-safe Base64 and also decoding back to a Proof.

Synopsis

Documentation

encodeForUrl :: Proof -> Text Source #

Encodes Proof to a URL-safe Text

decodeFromUrl :: Text -> Maybe Proof Source #

Decodes a URL-safe Text back to Proof