Hydra.Mantle

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

Documentation

data Comparison

An equality judgement: less than, equal to, or greater than

Constructors

ComparisonLessThan

ComparisonEqualTo

ComparisonGreaterThan

Instances

Read Comparison

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS Comparison

readList :: ReadS [Comparison]

readPrec :: ReadPrec Comparison

readListPrec :: ReadPrec [Comparison]

Show Comparison

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> Comparison -> ShowS

show :: Comparison -> String

showList :: [Comparison] -> ShowS

Eq Comparison

Defined in Hydra.Mantle

Methods

(==) :: Comparison -> Comparison -> Bool

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

Ord Comparison

Defined in Hydra.Mantle

Methods

compare :: Comparison -> Comparison -> Ordering

(<) :: Comparison -> Comparison -> Bool

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

(>) :: Comparison -> Comparison -> Bool

(>=) :: Comparison -> Comparison -> Bool

max :: Comparison -> Comparison -> Comparison

min :: Comparison -> Comparison -> Comparison

_Comparison :: Name

_Comparison_lessThan :: FieldName

_Comparison_equalTo :: FieldName

_Comparison_greaterThan :: FieldName

data Element m

A graph element, having a name, data term (value), and schema term (type)

Constructors

Element

Fields

• elementName :: Name
• elementSchema :: Term m
• elementData :: Term m

Instances

(Read m, Ord m) => Read (Element m)

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS (Element m)

readList :: ReadS [Element m]

readPrec :: ReadPrec (Element m)

readListPrec :: ReadPrec [Element m]

Show m => Show (Element m)

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> Element m -> ShowS

show :: Element m -> String

showList :: [Element m] -> ShowS

Eq m => Eq (Element m)

Defined in Hydra.Mantle

Methods

(==) :: Element m -> Element m -> Bool

(/=) :: Element m -> Element m -> Bool

Ord m => Ord (Element m)

Defined in Hydra.Mantle

Methods

compare :: Element m -> Element m -> Ordering

(<) :: Element m -> Element m -> Bool

(<=) :: Element m -> Element m -> Bool

(>) :: Element m -> Element m -> Bool

(>=) :: Element m -> Element m -> Bool

max :: Element m -> Element m -> Element m

min :: Element m -> Element m -> Element m

_Element :: Name

_Element_name :: FieldName

_Element_schema :: FieldName

_Element_data :: FieldName

data EliminationVariant

The identifier of an elimination constructor

Constructors

EliminationVariantElement

EliminationVariantList

EliminationVariantNominal

EliminationVariantOptional

EliminationVariantRecord

EliminationVariantUnion

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_element :: FieldName

_EliminationVariant_list :: FieldName

_EliminationVariant_nominal :: FieldName

_EliminationVariant_optional :: FieldName

_EliminationVariant_record :: FieldName

_EliminationVariant_union :: FieldName

data FunctionVariant

The identifier of a function constructor

Constructors

FunctionVariantCompareTo

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_compareTo :: FieldName

_FunctionVariant_elimination :: FieldName

_FunctionVariant_lambda :: FieldName

_FunctionVariant_primitive :: FieldName

data Graph m

A graph, or set of named terms, together with its schema graph

Constructors

Graph

Fields

• graphElements :: Map Name (Element m)

  All of the elements in the graph

• graphSchema :: Maybe (Graph m)

  The schema graph to this graph. If omitted, the graph is its own schema graph.

Instances

(Read m, Ord m) => Read (Graph m)

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS (Graph m)

readList :: ReadS [Graph m]

readPrec :: ReadPrec (Graph m)

readListPrec :: ReadPrec [Graph m]

Show m => Show (Graph m)

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> Graph m -> ShowS

show :: Graph m -> String

showList :: [Graph m] -> ShowS

Eq m => Eq (Graph m)

Defined in Hydra.Mantle

Methods

(==) :: Graph m -> Graph m -> Bool

(/=) :: Graph m -> Graph m -> Bool

Ord m => Ord (Graph m)

Defined in Hydra.Mantle

Methods

compare :: Graph m -> Graph m -> Ordering

(<) :: Graph m -> Graph m -> Bool

(<=) :: Graph m -> Graph m -> Bool

(>) :: Graph m -> Graph m -> Bool

(>=) :: Graph m -> Graph m -> Bool

max :: Graph m -> Graph m -> Graph m

min :: Graph m -> Graph m -> Graph m

_Graph :: Name

_Graph_elements :: FieldName

_Graph_schema :: FieldName

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 :: FieldName

_LiteralVariant_boolean :: FieldName

_LiteralVariant_float :: FieldName

_LiteralVariant_integer :: FieldName

_LiteralVariant_string :: FieldName

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 :: FieldName

_Precision_bits :: FieldName

data TermVariant

The identifier of a term expression constructor

Constructors

TermVariantAnnotated

TermVariantApplication

TermVariantElement

TermVariantFunction

TermVariantLet

TermVariantList

TermVariantLiteral

TermVariantMap

TermVariantNominal

TermVariantOptional

TermVariantProduct

TermVariantRecord

TermVariantSet

TermVariantStream

TermVariantSum

TermVariantUnion

TermVariantVariable

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 :: FieldName

_TermVariant_application :: FieldName

_TermVariant_element :: FieldName

_TermVariant_function :: FieldName

_TermVariant_let :: FieldName

_TermVariant_list :: FieldName

_TermVariant_literal :: FieldName

_TermVariant_map :: FieldName

_TermVariant_nominal :: FieldName

_TermVariant_optional :: FieldName

_TermVariant_product :: FieldName

_TermVariant_record :: FieldName

_TermVariant_set :: FieldName

_TermVariant_stream :: FieldName

_TermVariant_sum :: FieldName

_TermVariant_union :: FieldName

_TermVariant_variable :: FieldName

data TypeScheme m

A type expression together with free type variables occurring in the expression

Constructors

TypeScheme

Fields

• typeSchemeVariables :: [VariableType]
• typeSchemeType :: Type m

Instances

Read m => Read (TypeScheme m)

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS (TypeScheme m)

readList :: ReadS [TypeScheme m]

readPrec :: ReadPrec (TypeScheme m)

readListPrec :: ReadPrec [TypeScheme m]

Show m => Show (TypeScheme m)

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> TypeScheme m -> ShowS

show :: TypeScheme m -> String

showList :: [TypeScheme m] -> ShowS

Eq m => Eq (TypeScheme m)

Defined in Hydra.Mantle

Methods

(==) :: TypeScheme m -> TypeScheme m -> Bool

(/=) :: TypeScheme m -> TypeScheme m -> Bool

Ord m => Ord (TypeScheme m)

Defined in Hydra.Mantle

Methods

compare :: TypeScheme m -> TypeScheme m -> Ordering

(<) :: TypeScheme m -> TypeScheme m -> Bool

(<=) :: TypeScheme m -> TypeScheme m -> Bool

(>) :: TypeScheme m -> TypeScheme m -> Bool

(>=) :: TypeScheme m -> TypeScheme m -> Bool

max :: TypeScheme m -> TypeScheme m -> TypeScheme m

min :: TypeScheme m -> TypeScheme m -> TypeScheme m

_TypeScheme :: Name

_TypeScheme_variables :: FieldName

_TypeScheme_type :: FieldName

data TypeVariant

The identifier of a type constructor

Constructors

TypeVariantAnnotated

TypeVariantApplication

TypeVariantElement

TypeVariantFunction

TypeVariantLambda

TypeVariantList

TypeVariantLiteral

TypeVariantMap

TypeVariantNominal

TypeVariantOptional

TypeVariantProduct

TypeVariantRecord

TypeVariantSet

TypeVariantStream

TypeVariantSum

TypeVariantUnion

TypeVariantVariable

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 :: FieldName

_TypeVariant_application :: FieldName

_TypeVariant_element :: FieldName

_TypeVariant_function :: FieldName

_TypeVariant_lambda :: FieldName

_TypeVariant_list :: FieldName

_TypeVariant_literal :: FieldName

_TypeVariant_map :: FieldName

_TypeVariant_nominal :: FieldName

_TypeVariant_optional :: FieldName

_TypeVariant_product :: FieldName

_TypeVariant_record :: FieldName

_TypeVariant_set :: FieldName

_TypeVariant_stream :: FieldName

_TypeVariant_sum :: FieldName

_TypeVariant_union :: FieldName

_TypeVariant_variable :: FieldName

data TypedTerm m

A type together with an instance of the type

Constructors

TypedTerm

Fields

• typedTermType :: Type m
• typedTermTerm :: Term m

Instances

(Read m, Ord m) => Read (TypedTerm m)

Defined in Hydra.Mantle

Methods

readsPrec :: Int -> ReadS (TypedTerm m)

readList :: ReadS [TypedTerm m]

readPrec :: ReadPrec (TypedTerm m)

readListPrec :: ReadPrec [TypedTerm m]

Show m => Show (TypedTerm m)

Defined in Hydra.Mantle

Methods

showsPrec :: Int -> TypedTerm m -> ShowS

show :: TypedTerm m -> String

showList :: [TypedTerm m] -> ShowS

Eq m => Eq (TypedTerm m)

Defined in Hydra.Mantle

Methods

(==) :: TypedTerm m -> TypedTerm m -> Bool

(/=) :: TypedTerm m -> TypedTerm m -> Bool

Ord m => Ord (TypedTerm m)

Defined in Hydra.Mantle

Methods

compare :: TypedTerm m -> TypedTerm m -> Ordering

(<) :: TypedTerm m -> TypedTerm m -> Bool

(<=) :: TypedTerm m -> TypedTerm m -> Bool

(>) :: TypedTerm m -> TypedTerm m -> Bool

(>=) :: TypedTerm m -> TypedTerm m -> Bool

max :: TypedTerm m -> TypedTerm m -> TypedTerm m

min :: TypedTerm m -> TypedTerm m -> TypedTerm m

_TypedTerm :: Name

_TypedTerm_type :: FieldName

_TypedTerm_term :: FieldName