Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Mantle

Description

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

Synopsis

data Comparison
- = ComparisonLessThan
- | ComparisonEqualTo
- | ComparisonGreaterThan
_Comparison :: Name
_Comparison_lessThan :: FieldName
_Comparison_equalTo :: FieldName
_Comparison_greaterThan :: FieldName
data Element m = Element {
- elementName :: Name
- elementSchema :: Term m
- elementData :: Term m
}
_Element :: Name
_Element_name :: FieldName
_Element_schema :: FieldName
_Element_data :: FieldName
data EliminationVariant
- = EliminationVariantElement
- | EliminationVariantList
- | EliminationVariantNominal
- | EliminationVariantOptional
- | EliminationVariantRecord
- | EliminationVariantUnion
_EliminationVariant :: Name
_EliminationVariant_element :: FieldName
_EliminationVariant_list :: FieldName
_EliminationVariant_nominal :: FieldName
_EliminationVariant_optional :: FieldName
_EliminationVariant_record :: FieldName
_EliminationVariant_union :: FieldName
data FunctionVariant
- = FunctionVariantCompareTo
- | FunctionVariantElimination
- | FunctionVariantLambda
- | FunctionVariantPrimitive
_FunctionVariant :: Name
_FunctionVariant_compareTo :: FieldName
_FunctionVariant_elimination :: FieldName
_FunctionVariant_lambda :: FieldName
_FunctionVariant_primitive :: FieldName
data Graph m = Graph {
- graphElements :: Map Name (Element m)
- graphSchema :: Maybe (Graph m)
}
_Graph :: Name
_Graph_elements :: FieldName
_Graph_schema :: FieldName
data LiteralVariant
- = LiteralVariantBinary
- | LiteralVariantBoolean
- | LiteralVariantFloat
- | LiteralVariantInteger
- | LiteralVariantString
_LiteralVariant :: Name
_LiteralVariant_binary :: FieldName
_LiteralVariant_boolean :: FieldName
_LiteralVariant_float :: FieldName
_LiteralVariant_integer :: FieldName
_LiteralVariant_string :: FieldName
data Precision
- = PrecisionArbitrary
- | PrecisionBits Int
_Precision :: Name
_Precision_arbitrary :: FieldName
_Precision_bits :: FieldName
data TermVariant
- = TermVariantAnnotated
- | TermVariantApplication
- | TermVariantElement
- | TermVariantFunction
- | TermVariantLet
- | TermVariantList
- | TermVariantLiteral
- | TermVariantMap
- | TermVariantNominal
- | TermVariantOptional
- | TermVariantProduct
- | TermVariantRecord
- | TermVariantSet
- | TermVariantStream
- | TermVariantSum
- | TermVariantUnion
- | TermVariantVariable
_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 = TypeScheme {
- typeSchemeVariables :: [VariableType]
- typeSchemeType :: Type m
}
_TypeScheme :: Name
_TypeScheme_variables :: FieldName
_TypeScheme_type :: FieldName
data TypeVariant
- = TypeVariantAnnotated
- | TypeVariantApplication
- | TypeVariantElement
- | TypeVariantFunction
- | TypeVariantLambda
- | TypeVariantList
- | TypeVariantLiteral
- | TypeVariantMap
- | TypeVariantNominal
- | TypeVariantOptional
- | TypeVariantProduct
- | TypeVariantRecord
- | TypeVariantSet
- | TypeVariantStream
- | TypeVariantSum
- | TypeVariantUnion
- | TypeVariantVariable
_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 = TypedTerm {
- typedTermType :: Type m
- typedTermTerm :: Term m
}
_TypedTerm :: Name
_TypedTerm_type :: FieldName
_TypedTerm_term :: FieldName

Documentation

data Comparison Source #

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

Constructors

ComparisonLessThan
ComparisonEqualTo
ComparisonGreaterThan

Instances

Instances details

Read Comparison Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS Comparison # readList :: ReadS [Comparison] # readPrec :: ReadPrec Comparison # readListPrec :: ReadPrec [Comparison] #
Show Comparison Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> Comparison -> ShowS # show :: Comparison -> String # showList :: [Comparison] -> ShowS #
Eq Comparison Source #
Instance details Defined in Hydra.Mantle Methods (==) :: Comparison -> Comparison -> Bool # (/=) :: Comparison -> Comparison -> Bool #
Ord Comparison Source #
Instance details 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 Source #

_Comparison_lessThan :: FieldName Source #

_Comparison_equalTo :: FieldName Source #

_Comparison_greaterThan :: FieldName Source #

data Element m Source #

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

Instances details

(Read m, Ord m) => Read (Element m) Source #
Instance details 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) Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> Element m -> ShowS # show :: Element m -> String # showList :: [Element m] -> ShowS #
Eq m => Eq (Element m) Source #
Instance details Defined in Hydra.Mantle Methods (==) :: Element m -> Element m -> Bool # (/=) :: Element m -> Element m -> Bool #
Ord m => Ord (Element m) Source #
Instance details 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 Source #

_Element_name :: FieldName Source #

_Element_schema :: FieldName Source #

_Element_data :: FieldName Source #

data EliminationVariant Source #

The identifier of an elimination constructor

Constructors

EliminationVariantElement
EliminationVariantList
EliminationVariantNominal
EliminationVariantOptional
EliminationVariantRecord
EliminationVariantUnion

Instances

Instances details

Read EliminationVariant Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS EliminationVariant # readList :: ReadS [EliminationVariant] # readPrec :: ReadPrec EliminationVariant # readListPrec :: ReadPrec [EliminationVariant] #
Show EliminationVariant Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> EliminationVariant -> ShowS # show :: EliminationVariant -> String # showList :: [EliminationVariant] -> ShowS #
Eq EliminationVariant Source #
Instance details Defined in Hydra.Mantle Methods (==) :: EliminationVariant -> EliminationVariant -> Bool # (/=) :: EliminationVariant -> EliminationVariant -> Bool #
Ord EliminationVariant Source #
Instance details 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 Source #

_EliminationVariant_element :: FieldName Source #

_EliminationVariant_list :: FieldName Source #

_EliminationVariant_nominal :: FieldName Source #

_EliminationVariant_optional :: FieldName Source #

_EliminationVariant_record :: FieldName Source #

_EliminationVariant_union :: FieldName Source #

data FunctionVariant Source #

The identifier of a function constructor

Constructors

FunctionVariantCompareTo
FunctionVariantElimination
FunctionVariantLambda
FunctionVariantPrimitive

Instances

Instances details

Read FunctionVariant Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS FunctionVariant # readList :: ReadS [FunctionVariant] # readPrec :: ReadPrec FunctionVariant # readListPrec :: ReadPrec [FunctionVariant] #
Show FunctionVariant Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> FunctionVariant -> ShowS # show :: FunctionVariant -> String # showList :: [FunctionVariant] -> ShowS #
Eq FunctionVariant Source #
Instance details Defined in Hydra.Mantle Methods (==) :: FunctionVariant -> FunctionVariant -> Bool # (/=) :: FunctionVariant -> FunctionVariant -> Bool #
Ord FunctionVariant Source #
Instance details 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 Source #

_FunctionVariant_compareTo :: FieldName Source #

_FunctionVariant_elimination :: FieldName Source #

_FunctionVariant_lambda :: FieldName Source #

_FunctionVariant_primitive :: FieldName Source #

data Graph m Source #

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

Instances details

(Read m, Ord m) => Read (Graph m) Source #
Instance details 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) Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> Graph m -> ShowS # show :: Graph m -> String # showList :: [Graph m] -> ShowS #
Eq m => Eq (Graph m) Source #
Instance details Defined in Hydra.Mantle Methods (==) :: Graph m -> Graph m -> Bool # (/=) :: Graph m -> Graph m -> Bool #
Ord m => Ord (Graph m) Source #
Instance details 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 Source #

_Graph_elements :: FieldName Source #

_Graph_schema :: FieldName Source #

data LiteralVariant Source #

The identifier of a literal constructor

Constructors

LiteralVariantBinary
LiteralVariantBoolean
LiteralVariantFloat
LiteralVariantInteger
LiteralVariantString

Instances

Instances details

Read LiteralVariant Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS LiteralVariant # readList :: ReadS [LiteralVariant] # readPrec :: ReadPrec LiteralVariant # readListPrec :: ReadPrec [LiteralVariant] #
Show LiteralVariant Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> LiteralVariant -> ShowS # show :: LiteralVariant -> String # showList :: [LiteralVariant] -> ShowS #
Eq LiteralVariant Source #
Instance details Defined in Hydra.Mantle Methods (==) :: LiteralVariant -> LiteralVariant -> Bool # (/=) :: LiteralVariant -> LiteralVariant -> Bool #
Ord LiteralVariant Source #
Instance details 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 Source #

_LiteralVariant_binary :: FieldName Source #

_LiteralVariant_boolean :: FieldName Source #

_LiteralVariant_float :: FieldName Source #

_LiteralVariant_integer :: FieldName Source #

_LiteralVariant_string :: FieldName Source #

data Precision Source #

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

Constructors

PrecisionArbitrary
PrecisionBits Int

Instances

Instances details

Read Precision Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS Precision # readList :: ReadS [Precision] # readPrec :: ReadPrec Precision # readListPrec :: ReadPrec [Precision] #
Show Precision Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> Precision -> ShowS # show :: Precision -> String # showList :: [Precision] -> ShowS #
Eq Precision Source #
Instance details Defined in Hydra.Mantle Methods (==) :: Precision -> Precision -> Bool # (/=) :: Precision -> Precision -> Bool #
Ord Precision Source #
Instance details 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 Source #

_Precision_arbitrary :: FieldName Source #

_Precision_bits :: FieldName Source #

data TermVariant Source #

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

Instances details

Read TermVariant Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS TermVariant # readList :: ReadS [TermVariant] # readPrec :: ReadPrec TermVariant # readListPrec :: ReadPrec [TermVariant] #
Show TermVariant Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> TermVariant -> ShowS # show :: TermVariant -> String # showList :: [TermVariant] -> ShowS #
Eq TermVariant Source #
Instance details Defined in Hydra.Mantle Methods (==) :: TermVariant -> TermVariant -> Bool # (/=) :: TermVariant -> TermVariant -> Bool #
Ord TermVariant Source #
Instance details 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 Source #

_TermVariant_annotated :: FieldName Source #

_TermVariant_application :: FieldName Source #

_TermVariant_element :: FieldName Source #

_TermVariant_function :: FieldName Source #

_TermVariant_let :: FieldName Source #

_TermVariant_list :: FieldName Source #

_TermVariant_literal :: FieldName Source #

_TermVariant_map :: FieldName Source #

_TermVariant_nominal :: FieldName Source #

_TermVariant_optional :: FieldName Source #

_TermVariant_product :: FieldName Source #

_TermVariant_record :: FieldName Source #

_TermVariant_set :: FieldName Source #

_TermVariant_stream :: FieldName Source #

_TermVariant_sum :: FieldName Source #

_TermVariant_union :: FieldName Source #

_TermVariant_variable :: FieldName Source #

data TypeScheme m Source #

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

Constructors

TypeScheme
Fields typeSchemeVariables :: [VariableType] typeSchemeType :: Type m

Instances

Instances details

Read m => Read (TypeScheme m) Source #
Instance details 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) Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> TypeScheme m -> ShowS # show :: TypeScheme m -> String # showList :: [TypeScheme m] -> ShowS #
Eq m => Eq (TypeScheme m) Source #
Instance details Defined in Hydra.Mantle Methods (==) :: TypeScheme m -> TypeScheme m -> Bool # (/=) :: TypeScheme m -> TypeScheme m -> Bool #
Ord m => Ord (TypeScheme m) Source #
Instance details 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 Source #

_TypeScheme_variables :: FieldName Source #

_TypeScheme_type :: FieldName Source #

data TypeVariant Source #

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

Instances details

Read TypeVariant Source #
Instance details Defined in Hydra.Mantle Methods readsPrec :: Int -> ReadS TypeVariant # readList :: ReadS [TypeVariant] # readPrec :: ReadPrec TypeVariant # readListPrec :: ReadPrec [TypeVariant] #
Show TypeVariant Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> TypeVariant -> ShowS # show :: TypeVariant -> String # showList :: [TypeVariant] -> ShowS #
Eq TypeVariant Source #
Instance details Defined in Hydra.Mantle Methods (==) :: TypeVariant -> TypeVariant -> Bool # (/=) :: TypeVariant -> TypeVariant -> Bool #
Ord TypeVariant Source #
Instance details 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 Source #

_TypeVariant_annotated :: FieldName Source #

_TypeVariant_application :: FieldName Source #

_TypeVariant_element :: FieldName Source #

_TypeVariant_function :: FieldName Source #

_TypeVariant_lambda :: FieldName Source #

_TypeVariant_list :: FieldName Source #

_TypeVariant_literal :: FieldName Source #

_TypeVariant_map :: FieldName Source #

_TypeVariant_nominal :: FieldName Source #

_TypeVariant_optional :: FieldName Source #

_TypeVariant_product :: FieldName Source #

_TypeVariant_record :: FieldName Source #

_TypeVariant_set :: FieldName Source #

_TypeVariant_stream :: FieldName Source #

_TypeVariant_sum :: FieldName Source #

_TypeVariant_union :: FieldName Source #

_TypeVariant_variable :: FieldName Source #

data TypedTerm m Source #

A type together with an instance of the type

Constructors

TypedTerm
Fields typedTermType :: Type m typedTermTerm :: Term m

Instances

Instances details

(Read m, Ord m) => Read (TypedTerm m) Source #
Instance details 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) Source #
Instance details Defined in Hydra.Mantle Methods showsPrec :: Int -> TypedTerm m -> ShowS # show :: TypedTerm m -> String # showList :: [TypedTerm m] -> ShowS #
Eq m => Eq (TypedTerm m) Source #
Instance details Defined in Hydra.Mantle Methods (==) :: TypedTerm m -> TypedTerm m -> Bool # (/=) :: TypedTerm m -> TypedTerm m -> Bool #
Ord m => Ord (TypedTerm m) Source #
Instance details 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 Source #

_TypedTerm_type :: FieldName Source #

_TypedTerm_term :: FieldName Source #