uxadt-0.0.13.0: Universal (cross-language) extensible representation for algebraic data type instances.

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.UxADT

Description

UxADT

Data/UxADT.hs

A library that supports a universal, cross-platform embedded representation for algebraic data type (ADT) values.

Web: uxadt.org Version: 0.0.13.0

Synopsis

Documentation

type Variable = String Source

UxADT Data type definition.

type Constructor = String Source

data UxADT Source

Constructors

V Variable 
B Bool 
R Rational 
S String 
C Constructor [UxADT] 
L [UxADT] 
None 

Instances

Eq UxADT 
Show UxADT 
JSON UxADT

Translations between the native UxADT representation and a native JSON representation.

uxadt :: Data a => a -> UxADT Source

Conversion from arbitrary algebraic data type values to UxADT values.

toUxADT :: Data a => a -> UxADT Source

Useful synonym.

fromUxADT :: Data a => DataType -> UxADT -> a Source

Conversion to an algebraic data type value from a UxADT value.