Library

Base Library for algebraic pure functional programming language Henk for Ericsson Erlang/OTP.

Prelude

Prelude — Henk Core Definitions

Control

Control.IO — Free IO Monad
Control.IOI — Free IOI Comonad

Data

Data.Sigma — Dependent Pair
Data.Prod — Product Types
Data.Maybe — Optional Values
Data.List — Parameterized Lists
Data.Vector — Indexed Vectors
Data.Nat — Natural Numbers
Data.Fin — Finite Sets
Data.Bool — Boolean Logic
Data.String — UTF-8 Strings
Data.Unit — Singular Type
Data.Empty — Void Type
Data.Monoid — Abstract Monoids