Language
Library
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