Hydra.Mantle

A set of types which supplement hydra/core with type variants, graphs, and elements

Documentation

data Either_ a b

A disjoint union between a left type and a right type

Constructors

EitherLeft a

EitherRight b

Instances

(Read a, Read b) => Read (Either_ a b)

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS (Either_ a b)

readList :: ReadS [Either_ a b]

readPrec :: ReadPrec (Either_ a b)

readListPrec :: ReadPrec [Either_ a b]

(Show a, Show b) => Show (Either_ a b)

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> Either_ a b -> ShowS

show :: Either_ a b -> String

showList :: [Either_ a b] -> ShowS

(Eq a, Eq b) => Eq (Either_ a b)

Defined in Hydra.Mantle

Methods

(==) :: Either_ a b -> Either_ a b -> Bool

(/=) :: Either_ a b -> Either_ a b -> Bool

(Ord a, Ord b) => Ord (Either_ a b)

Defined in Hydra.Mantle

Methods

compare :: Either_ a b -> Either_ a b -> Ordering

(<) :: Either_ a b -> Either_ a b -> Bool

(<=) :: Either_ a b -> Either_ a b -> Bool

(>) :: Either_ a b -> Either_ a b -> Bool

(>=) :: Either_ a b -> Either_ a b -> Bool

max :: Either_ a b -> Either_ a b -> Either_ a b

min :: Either_ a b -> Either_ a b -> Either_ a b

_Either :: Name

_Either_left :: Name

_Either_right :: Name

data EliminationVariant

The identifier of an elimination constructor

Constructors

EliminationVariantList

EliminationVariantOptional

EliminationVariantProduct

EliminationVariantRecord

EliminationVariantUnion

EliminationVariantWrap

Instances

Read EliminationVariant

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS EliminationVariant

readList :: ReadS [EliminationVariant]

readPrec :: ReadPrec EliminationVariant

readListPrec :: ReadPrec [EliminationVariant]

Show EliminationVariant

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> EliminationVariant -> ShowS

show :: EliminationVariant -> String

showList :: [EliminationVariant] -> ShowS

Eq EliminationVariant

Defined in Hydra.Mantle

Methods

(==) :: EliminationVariant -> EliminationVariant -> Bool

(/=) :: EliminationVariant -> EliminationVariant -> Bool

Ord EliminationVariant

Defined in Hydra.Mantle

Methods

compare :: EliminationVariant -> EliminationVariant -> Ordering

(<) :: EliminationVariant -> EliminationVariant -> Bool

(<=) :: EliminationVariant -> EliminationVariant -> Bool

(>) :: EliminationVariant -> EliminationVariant -> Bool

(>=) :: EliminationVariant -> EliminationVariant -> Bool

max :: EliminationVariant -> EliminationVariant -> EliminationVariant

min :: EliminationVariant -> EliminationVariant -> EliminationVariant

_EliminationVariant :: Name

_EliminationVariant_list :: Name

_EliminationVariant_optional :: Name

_EliminationVariant_product :: Name

_EliminationVariant_record :: Name

_EliminationVariant_union :: Name

_EliminationVariant_wrap :: Name

data FunctionVariant

The identifier of a function constructor

Constructors

FunctionVariantElimination

FunctionVariantLambda

FunctionVariantPrimitive

Instances

Read FunctionVariant

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS FunctionVariant

readList :: ReadS [FunctionVariant]

readPrec :: ReadPrec FunctionVariant

readListPrec :: ReadPrec [FunctionVariant]

Show FunctionVariant

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> FunctionVariant -> ShowS

show :: FunctionVariant -> String

showList :: [FunctionVariant] -> ShowS

Eq FunctionVariant

Defined in Hydra.Mantle

Methods

(==) :: FunctionVariant -> FunctionVariant -> Bool

(/=) :: FunctionVariant -> FunctionVariant -> Bool

Ord FunctionVariant

Defined in Hydra.Mantle

Methods

compare :: FunctionVariant -> FunctionVariant -> Ordering

(<) :: FunctionVariant -> FunctionVariant -> Bool

(<=) :: FunctionVariant -> FunctionVariant -> Bool

(>) :: FunctionVariant -> FunctionVariant -> Bool

(>=) :: FunctionVariant -> FunctionVariant -> Bool

max :: FunctionVariant -> FunctionVariant -> FunctionVariant

min :: FunctionVariant -> FunctionVariant -> FunctionVariant

_FunctionVariant :: Name

_FunctionVariant_elimination :: Name

_FunctionVariant_lambda :: Name

_FunctionVariant_primitive :: Name

data LiteralVariant

The identifier of a literal constructor

Constructors

LiteralVariantBinary

LiteralVariantBoolean

LiteralVariantFloat

LiteralVariantInteger

LiteralVariantString

Instances

Read LiteralVariant

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS LiteralVariant

readList :: ReadS [LiteralVariant]

readPrec :: ReadPrec LiteralVariant

readListPrec :: ReadPrec [LiteralVariant]

Show LiteralVariant

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> LiteralVariant -> ShowS

show :: LiteralVariant -> String

showList :: [LiteralVariant] -> ShowS

Eq LiteralVariant

Defined in Hydra.Mantle

Methods

(==) :: LiteralVariant -> LiteralVariant -> Bool

(/=) :: LiteralVariant -> LiteralVariant -> Bool

Ord LiteralVariant

Defined in Hydra.Mantle

Methods

compare :: LiteralVariant -> LiteralVariant -> Ordering

(<) :: LiteralVariant -> LiteralVariant -> Bool

(<=) :: LiteralVariant -> LiteralVariant -> Bool

(>) :: LiteralVariant -> LiteralVariant -> Bool

(>=) :: LiteralVariant -> LiteralVariant -> Bool

max :: LiteralVariant -> LiteralVariant -> LiteralVariant

min :: LiteralVariant -> LiteralVariant -> LiteralVariant

_LiteralVariant :: Name

_LiteralVariant_binary :: Name

_LiteralVariant_boolean :: Name

_LiteralVariant_float :: Name

_LiteralVariant_integer :: Name

_LiteralVariant_string :: Name

data Precision

Numeric precision: arbitrary precision, or precision to a specified number of bits

Constructors

PrecisionArbitrary

PrecisionBits Int

Instances

Read Precision

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS Precision

readList :: ReadS [Precision]

readPrec :: ReadPrec Precision

readListPrec :: ReadPrec [Precision]

Show Precision

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> Precision -> ShowS

show :: Precision -> String

showList :: [Precision] -> ShowS

Eq Precision

Defined in Hydra.Mantle

Methods

(==) :: Precision -> Precision -> Bool

(/=) :: Precision -> Precision -> Bool

Ord Precision

Defined in Hydra.Mantle

Methods

compare :: Precision -> Precision -> Ordering

(<) :: Precision -> Precision -> Bool

(<=) :: Precision -> Precision -> Bool

(>) :: Precision -> Precision -> Bool

(>=) :: Precision -> Precision -> Bool

max :: Precision -> Precision -> Precision

min :: Precision -> Precision -> Precision

_Precision :: Name

_Precision_arbitrary :: Name

_Precision_bits :: Name

data TermVariant

The identifier of a term expression constructor

Constructors

TermVariantAnnotated

TermVariantApplication

TermVariantFunction

TermVariantLet

TermVariantList

TermVariantLiteral

TermVariantMap

TermVariantOptional

TermVariantProduct

TermVariantRecord

TermVariantSet

TermVariantSum

TermVariantTyped

TermVariantUnion

TermVariantVariable

TermVariantWrap

Instances

Read TermVariant

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS TermVariant

readList :: ReadS [TermVariant]

readPrec :: ReadPrec TermVariant

readListPrec :: ReadPrec [TermVariant]

Show TermVariant

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> TermVariant -> ShowS

show :: TermVariant -> String

showList :: [TermVariant] -> ShowS

Eq TermVariant

Defined in Hydra.Mantle

Methods

(==) :: TermVariant -> TermVariant -> Bool

(/=) :: TermVariant -> TermVariant -> Bool

Ord TermVariant

Defined in Hydra.Mantle

Methods

compare :: TermVariant -> TermVariant -> Ordering

(<) :: TermVariant -> TermVariant -> Bool

(<=) :: TermVariant -> TermVariant -> Bool

(>) :: TermVariant -> TermVariant -> Bool

(>=) :: TermVariant -> TermVariant -> Bool

max :: TermVariant -> TermVariant -> TermVariant

min :: TermVariant -> TermVariant -> TermVariant

_TermVariant :: Name

_TermVariant_annotated :: Name

_TermVariant_application :: Name

_TermVariant_function :: Name

_TermVariant_let :: Name

_TermVariant_list :: Name

_TermVariant_literal :: Name

_TermVariant_map :: Name

_TermVariant_optional :: Name

_TermVariant_product :: Name

_TermVariant_record :: Name

_TermVariant_set :: Name

_TermVariant_sum :: Name

_TermVariant_typed :: Name

_TermVariant_union :: Name

_TermVariant_variable :: Name

_TermVariant_wrap :: Name

data TypeVariant

The identifier of a type constructor

Constructors

TypeVariantAnnotated

TypeVariantApplication

TypeVariantFunction

TypeVariantLambda

TypeVariantList

TypeVariantLiteral

TypeVariantMap

TypeVariantOptional

TypeVariantProduct

TypeVariantRecord

TypeVariantSet

TypeVariantSum

TypeVariantUnion

TypeVariantVariable

TypeVariantWrap

Instances

Read TypeVariant

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS TypeVariant

readList :: ReadS [TypeVariant]

readPrec :: ReadPrec TypeVariant

readListPrec :: ReadPrec [TypeVariant]

Show TypeVariant

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> TypeVariant -> ShowS

show :: TypeVariant -> String

showList :: [TypeVariant] -> ShowS

Eq TypeVariant

Defined in Hydra.Mantle

Methods

(==) :: TypeVariant -> TypeVariant -> Bool

(/=) :: TypeVariant -> TypeVariant -> Bool

Ord TypeVariant

Defined in Hydra.Mantle

Methods

compare :: TypeVariant -> TypeVariant -> Ordering

(<) :: TypeVariant -> TypeVariant -> Bool

(<=) :: TypeVariant -> TypeVariant -> Bool

(>) :: TypeVariant -> TypeVariant -> Bool

(>=) :: TypeVariant -> TypeVariant -> Bool

max :: TypeVariant -> TypeVariant -> TypeVariant

min :: TypeVariant -> TypeVariant -> TypeVariant

_TypeVariant :: Name

_TypeVariant_annotated :: Name

_TypeVariant_application :: Name

_TypeVariant_function :: Name

_TypeVariant_lambda :: Name

_TypeVariant_list :: Name

_TypeVariant_literal :: Name

_TypeVariant_map :: Name

_TypeVariant_optional :: Name

_TypeVariant_product :: Name

_TypeVariant_record :: Name

_TypeVariant_set :: Name

_TypeVariant_sum :: Name

_TypeVariant_union :: Name

_TypeVariant_variable :: Name

_TypeVariant_wrap :: Name