open-adt-1.0: Open algebraic data types.

CopyrightCopyright (c) Jordan Woehr 2018
LicenseBSD
MaintainerJordan Woehr
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.OpenADT

Description

This module defines the OpenADT type, which is an algebraic data type with constructors defined by its argument's row type.

Synopsis

Documentation

type OpenADT r = Fix (VarF r) Source #

A algebraic data type that can have constructors added and removed.