DrIFT-2.4.0: src/PreludData.hs

module PreludData where

import DataP
-- data types from prelude, so we can derive things for these
-- as needed without parsing the whole prelude

-- users may want to add commonly-used datatypes to this list, to save
-- repeatedly searching for a type.  The list data is generated using the
-- 'test' rule on the required datatypes.

preludeData :: [Data]
preludeData = [
	D{name="Bool",constraints=[],vars=[],body=[
		Body{constructor="False",labels=[],types=[]},
		Body{constructor="True",labels=[],types=[]}]
	,derives=["Eq", "Ord", "Ix", "Enum", "Read", "Show", "Bounded"]
	,statement=DataStmt},
	D{name="Maybe",constraints=[],vars=["a"],body=[
		Body{constructor="Just",labels=[],types=[Var "a"]},
		Body{constructor="Nothing",labels=[],types=[]}] ,
	derives=["Eq", "Ord", "Read", "Show"],statement=DataStmt},
	D{name="Either",constraints=[],vars=["a", "b"],body=[
		Body{constructor="Left",labels=[],types=[Var "a"]},
		Body{constructor="Right",labels=[],types=[Var "b"]}],
        derives=["Eq", "Ord", "Read", "Show"],statement=DataStmt},
	D{name="Ordering",constraints=[],vars=[],body=[
		Body{constructor="LT",labels=[],types=[]},
		Body{constructor="EQ",labels=[],types=[]},
		Body{constructor="GT",labels=[],types=[]}],
	derives=["Eq", "Ord", "Ix", "Enum", "Read", "Show", "Bounded"],
	statement=DataStmt}]