Types for the Ucam-Webauth protocol, as used by Raven.

Types for the implementation of the Ucam-Webauth protocol, as used by the University of Cambridge’s Raven authentication service.

title: Ucam Webauth
author: David Baynard
date: 09 Dec 2018
...

https://raven.cam.ac.uk/project/

The University of Cambridge Raven service uses the Ucam Webauth protocol.

This repository contains a number of Haskell libraries to interact with this system.

ucam-webauth

This implements the client authentication protocol; specifically, the validation.

ucam-webauth-types

This implements data types for the client authentication protocol.

There is an internal package which is not recommended for use. Its only purpose is to split the core functionality among packages for minimal ghcjs dependencies.

raven-wai

This adds wai middleware enabling authentication using Raven.

servant-raven

API combinators for servant, using servant-auth.

servant-raven-server

The handlers for servant.