package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

Functional monadic library

Install

sha256=d47f6539af49a4c3e947dbfbe416c1e78d534897cd6d9d8e3660aae0cf8d9494

md5=d649b8a62403362bd3a24cbf1a9af590

Void.t is the type of an object which cannot exist.

type t

Type of a nonexisting object.

val absurd : t -> 'a

absurd n Return an object of any type.

This function is possible, because there never can be an object n of type t.