Hydra.Phantoms

Phantom types for use with Hydra DSLs

Documentation

newtype TCase a

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

Constructors

TCase

Fields

• unTCase :: Name

Instances

Read (TCase a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (TCase a)

readList :: ReadS [TCase a]

readPrec :: ReadPrec (TCase a)

readListPrec :: ReadPrec [TCase a]

Show (TCase a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> TCase a -> ShowS

show :: TCase a -> String

showList :: [TCase a] -> ShowS

Eq (TCase a)

Defined in Hydra.Phantoms

Methods

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

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

Ord (TCase a)

Defined in Hydra.Phantoms

Methods

compare :: TCase a -> TCase a -> Ordering

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

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

(>) :: TCase a -> TCase a -> Bool

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

max :: TCase a -> TCase a -> TCase a

min :: TCase a -> TCase a -> TCase a

_TCase :: Name

data TElement a

An association with a named term (element) with a phantom type

Constructors

TElement

Fields

• tElementName :: Name
• tElementTerm :: TTerm a

Instances

Read (TElement a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (TElement a)

readList :: ReadS [TElement a]

readPrec :: ReadPrec (TElement a)

readListPrec :: ReadPrec [TElement a]

Show (TElement a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> TElement a -> ShowS

show :: TElement a -> String

showList :: [TElement a] -> ShowS

Eq (TElement a)

Defined in Hydra.Phantoms

Methods

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

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

Ord (TElement a)

Defined in Hydra.Phantoms

Methods

compare :: TElement a -> TElement a -> Ordering

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

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

(>) :: TElement a -> TElement a -> Bool

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

max :: TElement a -> TElement a -> TElement a

min :: TElement a -> TElement a -> TElement a

_TElement :: Name

_TElement_name :: Name

_TElement_term :: Name

newtype TField a

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

Constructors

TField

Fields

• unTField :: Field

Instances

Read (TField a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (TField a)

readList :: ReadS [TField a]

readPrec :: ReadPrec (TField a)

readListPrec :: ReadPrec [TField a]

Show (TField a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> TField a -> ShowS

show :: TField a -> String

showList :: [TField a] -> ShowS

Eq (TField a)

Defined in Hydra.Phantoms

Methods

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

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

Ord (TField a)

Defined in Hydra.Phantoms

Methods

compare :: TField a -> TField a -> Ordering

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

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

(>) :: TField a -> TField a -> Bool

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

max :: TField a -> TField a -> TField a

min :: TField a -> TField a -> TField a

_TField :: Name

newtype TTerm a

An association of a term with a phantom type

Constructors

TTerm

Fields

• unTTerm :: Term

Instances

IsString (TTerm a)

Defined in Hydra.Dsl.Base

Methods

fromString :: String -> TTerm a

Read (TTerm a)

Defined in Hydra.Phantoms

Methods

readsPrec :: Int -> ReadS (TTerm a)

readList :: ReadS [TTerm a]

readPrec :: ReadPrec (TTerm a)

readListPrec :: ReadPrec [TTerm a]

Show (TTerm a)

Defined in Hydra.Phantoms

Methods

showsPrec :: Int -> TTerm a -> ShowS

show :: TTerm a -> String

showList :: [TTerm a] -> ShowS

Eq (TTerm a)

Defined in Hydra.Phantoms

Methods

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

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

Ord (TTerm a)

Defined in Hydra.Phantoms

Methods

compare :: TTerm a -> TTerm a -> Ordering

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

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

(>) :: TTerm a -> TTerm a -> Bool

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

max :: TTerm a -> TTerm a -> TTerm a

min :: TTerm a -> TTerm a -> TTerm a

_TTerm :: Name