defun-bool

Version 0.1 revision 0 uploaded 2023-12-10T19:56:38.000Z by phadej.

Package meta

Synopsis

Defunctionalization helpers: booleans

Description

This package provides type and term definitions for boolean type families in Data.Type.Bool (in base) using SBool type from singleton-bool package.

Author

Oleg Grenrus <oleg.grenrus@iki.fi>

Bug reports

n/a

Category

Data

Copyright

n/a

Homepage

n/a

Maintainer

Oleg Grenrus <oleg.grenrus@iki.fi>

Package URL

n/a

Stability

n/a

Components

• lib:defun-bool