| Copyright | Copyright (c) Jordan Woehr 2018 |
|---|---|
| License | BSD |
| Maintainer | Jordan Woehr |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
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
- type OpenADT r = Fix (VarF r)
- module Data.OpenADT.TH
- module Data.OpenADT.VarF
- module Data.OpenADT.VariantsF
Documentation
type OpenADT r = Fix (VarF r) Source #
A algebraic data type that can have constructors added and removed.
module Data.OpenADT.TH
module Data.OpenADT.VarF
module Data.OpenADT.VariantsF