Hydra.Phantoms

Phantom types for use in model definitions

Documentation

newtype Case a

An association of a field name (as in a case statement) with a phantom type

Constructors

Case

Fields

• unCase :: Name

Instances

Read (Case a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (Case a)

readList :: ReadS [Case a]

readPrec :: ReadPrec (Case a)

readListPrec :: ReadPrec [Case a]

Show (Case a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> Case a -> ShowS

show :: Case a -> String

showList :: [Case a] -> ShowS

Eq (Case a)

Defined in Hydra.Phantoms

Methods

(==) :: Case a -> Case a -> Bool

(/=) :: Case a -> Case a -> Bool

Ord (Case a)

Defined in Hydra.Phantoms

Methods

compare :: Case a -> Case a -> Ordering

(<) :: Case a -> Case a -> Bool

(<=) :: Case a -> Case a -> Bool

(>) :: Case a -> Case a -> Bool

(>=) :: Case a -> Case a -> Bool

max :: Case a -> Case a -> Case a

min :: Case a -> Case a -> Case a

_Case :: Name

newtype Datum a

An association of a term with a phantom type

Constructors

Datum

Fields

• unDatum :: Term

Instances

IsString (Datum a)

Defined in Hydra.Dsl.Base

Methods

fromString :: String -> Datum a

Read (Datum a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (Datum a)

readList :: ReadS [Datum a]

readPrec :: ReadPrec (Datum a)

readListPrec :: ReadPrec [Datum a]

Show (Datum a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> Datum a -> ShowS

show :: Datum a -> String

showList :: [Datum a] -> ShowS

Eq (Datum a)

Defined in Hydra.Phantoms

Methods

(==) :: Datum a -> Datum a -> Bool

(/=) :: Datum a -> Datum a -> Bool

Ord (Datum a)

Defined in Hydra.Phantoms

Methods

compare :: Datum a -> Datum a -> Ordering

(<) :: Datum a -> Datum a -> Bool

(<=) :: Datum a -> Datum a -> Bool

(>) :: Datum a -> Datum a -> Bool

(>=) :: Datum a -> Datum a -> Bool

max :: Datum a -> Datum a -> Datum a

min :: Datum a -> Datum a -> Datum a

_Datum :: Name

data Definition a

An association with a named term with a phantom type

Constructors

Definition

Fields

• definitionName :: Name
• definitionDatum :: Datum a

Instances

Read (Definition a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (Definition a)

readList :: ReadS [Definition a]

readPrec :: ReadPrec (Definition a)

readListPrec :: ReadPrec [Definition a]

Show (Definition a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> Definition a -> ShowS

show :: Definition a -> String

showList :: [Definition a] -> ShowS

Eq (Definition a)

Defined in Hydra.Phantoms

Methods

(==) :: Definition a -> Definition a -> Bool

(/=) :: Definition a -> Definition a -> Bool

Ord (Definition a)

Defined in Hydra.Phantoms

Methods

compare :: Definition a -> Definition a -> Ordering

(<) :: Definition a -> Definition a -> Bool

(<=) :: Definition a -> Definition a -> Bool

(>) :: Definition a -> Definition a -> Bool

(>=) :: Definition a -> Definition a -> Bool

max :: Definition a -> Definition a -> Definition a

min :: Definition a -> Definition a -> Definition a

_Definition :: Name

_Definition_name :: Name

_Definition_datum :: Name

newtype Fld a

An association with a term-level field with a phantom type

Constructors

Fld

Fields

• unFld :: Field

Instances

Read (Fld a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (Fld a)

readList :: ReadS [Fld a]

readPrec :: ReadPrec (Fld a)

readListPrec :: ReadPrec [Fld a]

Show (Fld a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> Fld a -> ShowS

show :: Fld a -> String

showList :: [Fld a] -> ShowS

Eq (Fld a)

Defined in Hydra.Phantoms

Methods

(==) :: Fld a -> Fld a -> Bool

(/=) :: Fld a -> Fld a -> Bool

Ord (Fld a)

Defined in Hydra.Phantoms

Methods

compare :: Fld a -> Fld a -> Ordering

(<) :: Fld a -> Fld a -> Bool

(<=) :: Fld a -> Fld a -> Bool

(>) :: Fld a -> Fld a -> Bool

(>=) :: Fld a -> Fld a -> Bool

max :: Fld a -> Fld a -> Fld a

min :: Fld a -> Fld a -> Fld a

_Fld :: Name

data Reference a

A pure association with a phantom type

Constructors

Reference

Instances

Read (Reference a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (Reference a)

readList :: ReadS [Reference a]

readPrec :: ReadPrec (Reference a)

readListPrec :: ReadPrec [Reference a]

Show (Reference a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> Reference a -> ShowS

show :: Reference a -> String

showList :: [Reference a] -> ShowS

Eq (Reference a)

Defined in Hydra.Phantoms

Methods

(==) :: Reference a -> Reference a -> Bool

(/=) :: Reference a -> Reference a -> Bool

Ord (Reference a)

Defined in Hydra.Phantoms

Methods

compare :: Reference a -> Reference a -> Ordering

(<) :: Reference a -> Reference a -> Bool

(<=) :: Reference a -> Reference a -> Bool

(>) :: Reference a -> Reference a -> Bool

(>=) :: Reference a -> Reference a -> Bool

max :: Reference a -> Reference a -> Reference a

min :: Reference a -> Reference a -> Reference a

_Reference :: Name