Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Core

Description

Hydra's core data model, defining types, terms, and their dependencies

Synopsis

data AnnotatedTerm = AnnotatedTerm {
- annotatedTermSubject :: Term
- annotatedTermAnnotation :: Map Name Term
}
_AnnotatedTerm :: Name
_AnnotatedTerm_subject :: Name
_AnnotatedTerm_annotation :: Name
data AnnotatedType = AnnotatedType {
- annotatedTypeSubject :: Type
- annotatedTypeAnnotation :: Map Name Term
}
_AnnotatedType :: Name
_AnnotatedType_subject :: Name
_AnnotatedType_annotation :: Name
data Application = Application {
- applicationFunction :: Term
- applicationArgument :: Term
}
_Application :: Name
_Application_function :: Name
_Application_argument :: Name
data ApplicationType = ApplicationType {
- applicationTypeFunction :: Type
- applicationTypeArgument :: Type
}
_ApplicationType :: Name
_ApplicationType_function :: Name
_ApplicationType_argument :: Name
data CaseStatement = CaseStatement {
- caseStatementTypeName :: Name
- caseStatementDefault :: Maybe Term
- caseStatementCases :: [Field]
}
_CaseStatement :: Name
_CaseStatement_typeName :: Name
_CaseStatement_default :: Name
_CaseStatement_cases :: Name
data Elimination
- = EliminationList Term
- | EliminationOptional OptionalCases
- | EliminationProduct TupleProjection
- | EliminationRecord Projection
- | EliminationUnion CaseStatement
- | EliminationWrap Name
_Elimination :: Name
_Elimination_list :: Name
_Elimination_optional :: Name
_Elimination_product :: Name
_Elimination_record :: Name
_Elimination_union :: Name
_Elimination_wrap :: Name
data Field = Field {
- fieldName :: Name
- fieldTerm :: Term
}
_Field :: Name
_Field_name :: Name
_Field_term :: Name
data FieldType = FieldType {
- fieldTypeName :: Name
- fieldTypeType :: Type
}
_FieldType :: Name
_FieldType_name :: Name
_FieldType_type :: Name
data FloatType
- = FloatTypeBigfloat
- | FloatTypeFloat32
- | FloatTypeFloat64
_FloatType :: Name
_FloatType_bigfloat :: Name
_FloatType_float32 :: Name
_FloatType_float64 :: Name
data FloatValue
- = FloatValueBigfloat Double
- | FloatValueFloat32 Float
- | FloatValueFloat64 Double
_FloatValue :: Name
_FloatValue_bigfloat :: Name
_FloatValue_float32 :: Name
_FloatValue_float64 :: Name
data Function
- = FunctionElimination Elimination
- | FunctionLambda Lambda
- | FunctionPrimitive Name
_Function :: Name
_Function_elimination :: Name
_Function_lambda :: Name
_Function_primitive :: Name
data FunctionType = FunctionType {
- functionTypeDomain :: Type
- functionTypeCodomain :: Type
}
_FunctionType :: Name
_FunctionType_domain :: Name
_FunctionType_codomain :: Name
data Injection = Injection {
- injectionTypeName :: Name
- injectionField :: Field
}
_Injection :: Name
_Injection_typeName :: Name
_Injection_field :: Name
data IntegerType
- = IntegerTypeBigint
- | IntegerTypeInt8
- | IntegerTypeInt16
- | IntegerTypeInt32
- | IntegerTypeInt64
- | IntegerTypeUint8
- | IntegerTypeUint16
- | IntegerTypeUint32
- | IntegerTypeUint64
_IntegerType :: Name
_IntegerType_bigint :: Name
_IntegerType_int8 :: Name
_IntegerType_int16 :: Name
_IntegerType_int32 :: Name
_IntegerType_int64 :: Name
_IntegerType_uint8 :: Name
_IntegerType_uint16 :: Name
_IntegerType_uint32 :: Name
_IntegerType_uint64 :: Name
data IntegerValue
- = IntegerValueBigint Integer
- | IntegerValueInt8 Int8
- | IntegerValueInt16 Int16
- | IntegerValueInt32 Int
- | IntegerValueInt64 Int64
- | IntegerValueUint8 Int16
- | IntegerValueUint16 Int
- | IntegerValueUint32 Int64
- | IntegerValueUint64 Integer
_IntegerValue :: Name
_IntegerValue_bigint :: Name
_IntegerValue_int8 :: Name
_IntegerValue_int16 :: Name
_IntegerValue_int32 :: Name
_IntegerValue_int64 :: Name
_IntegerValue_uint8 :: Name
_IntegerValue_uint16 :: Name
_IntegerValue_uint32 :: Name
_IntegerValue_uint64 :: Name
data Lambda = Lambda {
- lambdaParameter :: Name
- lambdaDomain :: Maybe Type
- lambdaBody :: Term
}
_Lambda :: Name
_Lambda_parameter :: Name
_Lambda_domain :: Name
_Lambda_body :: Name
data LambdaType = LambdaType {
- lambdaTypeParameter :: Name
- lambdaTypeBody :: Type
}
_LambdaType :: Name
_LambdaType_parameter :: Name
_LambdaType_body :: Name
data Let = Let {
- letBindings :: [LetBinding]
- letEnvironment :: Term
}
_Let :: Name
_Let_bindings :: Name
_Let_environment :: Name
data LetBinding = LetBinding {
- letBindingName :: Name
- letBindingTerm :: Term
- letBindingType :: Maybe TypeScheme
}
_LetBinding :: Name
_LetBinding_name :: Name
_LetBinding_term :: Name
_LetBinding_type :: Name
data Literal
- = LiteralBinary String
- | LiteralBoolean Bool
- | LiteralFloat FloatValue
- | LiteralInteger IntegerValue
- | LiteralString String
_Literal :: Name
_Literal_binary :: Name
_Literal_boolean :: Name
_Literal_float :: Name
_Literal_integer :: Name
_Literal_string :: Name
data LiteralType
- = LiteralTypeBinary
- | LiteralTypeBoolean
- | LiteralTypeFloat FloatType
- | LiteralTypeInteger IntegerType
- | LiteralTypeString
_LiteralType :: Name
_LiteralType_binary :: Name
_LiteralType_boolean :: Name
_LiteralType_float :: Name
_LiteralType_integer :: Name
_LiteralType_string :: Name
data MapType = MapType {
- mapTypeKeys :: Type
- mapTypeValues :: Type
}
_MapType :: Name
_MapType_keys :: Name
_MapType_values :: Name
newtype Name = Name {
- unName :: String
}
_Name :: Name
data WrappedTerm = WrappedTerm {
- wrappedTermTypeName :: Name
- wrappedTermObject :: Term
}
_WrappedTerm :: Name
_WrappedTerm_typeName :: Name
_WrappedTerm_object :: Name
data WrappedType = WrappedType {
- wrappedTypeTypeName :: Name
- wrappedTypeObject :: Type
}
_WrappedType :: Name
_WrappedType_typeName :: Name
_WrappedType_object :: Name
data OptionalCases = OptionalCases {
- optionalCasesNothing :: Term
- optionalCasesJust :: Term
}
_OptionalCases :: Name
_OptionalCases_nothing :: Name
_OptionalCases_just :: Name
data Projection = Projection {
- projectionTypeName :: Name
- projectionField :: Name
}
_Projection :: Name
_Projection_typeName :: Name
_Projection_field :: Name
data Record = Record {
- recordTypeName :: Name
- recordFields :: [Field]
}
_Record :: Name
_Record_typeName :: Name
_Record_fields :: Name
data RowType = RowType {
- rowTypeTypeName :: Name
- rowTypeFields :: [FieldType]
}
_RowType :: Name
_RowType_typeName :: Name
_RowType_fields :: Name
data Sum = Sum {
- sumIndex :: Int
- sumSize :: Int
- sumTerm :: Term
}
_Sum :: Name
_Sum_index :: Name
_Sum_size :: Name
_Sum_term :: Name
data Term
- = TermAnnotated AnnotatedTerm
- | TermApplication Application
- | TermFunction Function
- | TermLet Let
- | TermList [Term]
- | TermLiteral Literal
- | TermMap (Map Term Term)
- | TermOptional (Maybe Term)
- | TermProduct [Term]
- | TermRecord Record
- | TermSet (Set Term)
- | TermSum Sum
- | TermTypeAbstraction TypeAbstraction
- | TermTypeApplication TypedTerm
- | TermTyped TypedTerm
- | TermUnion Injection
- | TermVariable Name
- | TermWrap WrappedTerm
_Term :: Name
_Term_annotated :: Name
_Term_application :: Name
_Term_function :: Name
_Term_let :: Name
_Term_list :: Name
_Term_literal :: Name
_Term_map :: Name
_Term_optional :: Name
_Term_product :: Name
_Term_record :: Name
_Term_set :: Name
_Term_sum :: Name
_Term_typeAbstraction :: Name
_Term_typeApplication :: Name
_Term_typed :: Name
_Term_union :: Name
_Term_variable :: Name
_Term_wrap :: Name
data TupleProjection = TupleProjection {
- tupleProjectionArity :: Int
- tupleProjectionIndex :: Int
}
_TupleProjection :: Name
_TupleProjection_arity :: Name
_TupleProjection_index :: Name
data Type
- = TypeAnnotated AnnotatedType
- | TypeApplication ApplicationType
- | TypeFunction FunctionType
- | TypeLambda LambdaType
- | TypeList Type
- | TypeLiteral LiteralType
- | TypeMap MapType
- | TypeOptional Type
- | TypeProduct [Type]
- | TypeRecord RowType
- | TypeSet Type
- | TypeSum [Type]
- | TypeUnion RowType
- | TypeVariable Name
- | TypeWrap WrappedType
_Type :: Name
_Type_annotated :: Name
_Type_application :: Name
_Type_function :: Name
_Type_lambda :: Name
_Type_list :: Name
_Type_literal :: Name
_Type_map :: Name
_Type_optional :: Name
_Type_product :: Name
_Type_record :: Name
_Type_set :: Name
_Type_sum :: Name
_Type_union :: Name
_Type_variable :: Name
_Type_wrap :: Name
data TypeAbstraction = TypeAbstraction {
- typeAbstractionParameter :: Name
- typeAbstractionBody :: Term
}
_TypeAbstraction :: Name
_TypeAbstraction_parameter :: Name
_TypeAbstraction_body :: Name
data TypeScheme = TypeScheme {
- typeSchemeVariables :: [Name]
- typeSchemeType :: Type
}
_TypeScheme :: Name
_TypeScheme_variables :: Name
_TypeScheme_type :: Name
data TypedTerm = TypedTerm {
- typedTermTerm :: Term
- typedTermType :: Type
}
_TypedTerm :: Name
_TypedTerm_term :: Name
_TypedTerm_type :: Name
data Unit = Unit {
}
_Unit :: Name

Documentation

data AnnotatedTerm Source #

A term together with an annotation

Constructors

AnnotatedTerm
Fields annotatedTermSubject :: Term annotatedTermAnnotation :: Map Name Term

Instances

Instances details

Read AnnotatedTerm Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS AnnotatedTerm # readList :: ReadS [AnnotatedTerm] # readPrec :: ReadPrec AnnotatedTerm # readListPrec :: ReadPrec [AnnotatedTerm] #
Show AnnotatedTerm Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> AnnotatedTerm -> ShowS # show :: AnnotatedTerm -> String # showList :: [AnnotatedTerm] -> ShowS #
Eq AnnotatedTerm Source #
Instance details Defined in Hydra.Core Methods (==) :: AnnotatedTerm -> AnnotatedTerm -> Bool # (/=) :: AnnotatedTerm -> AnnotatedTerm -> Bool #
Ord AnnotatedTerm Source #
Instance details Defined in Hydra.Core Methods compare :: AnnotatedTerm -> AnnotatedTerm -> Ordering # (<) :: AnnotatedTerm -> AnnotatedTerm -> Bool # (<=) :: AnnotatedTerm -> AnnotatedTerm -> Bool # (>) :: AnnotatedTerm -> AnnotatedTerm -> Bool # (>=) :: AnnotatedTerm -> AnnotatedTerm -> Bool # max :: AnnotatedTerm -> AnnotatedTerm -> AnnotatedTerm # min :: AnnotatedTerm -> AnnotatedTerm -> AnnotatedTerm #

_AnnotatedTerm :: Name Source #

_AnnotatedTerm_subject :: Name Source #

_AnnotatedTerm_annotation :: Name Source #

data AnnotatedType Source #

A type together with an annotation

Constructors

AnnotatedType
Fields annotatedTypeSubject :: Type annotatedTypeAnnotation :: Map Name Term

Instances

Instances details

Read AnnotatedType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS AnnotatedType # readList :: ReadS [AnnotatedType] # readPrec :: ReadPrec AnnotatedType # readListPrec :: ReadPrec [AnnotatedType] #
Show AnnotatedType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> AnnotatedType -> ShowS # show :: AnnotatedType -> String # showList :: [AnnotatedType] -> ShowS #
Eq AnnotatedType Source #
Instance details Defined in Hydra.Core Methods (==) :: AnnotatedType -> AnnotatedType -> Bool # (/=) :: AnnotatedType -> AnnotatedType -> Bool #
Ord AnnotatedType Source #
Instance details Defined in Hydra.Core Methods compare :: AnnotatedType -> AnnotatedType -> Ordering # (<) :: AnnotatedType -> AnnotatedType -> Bool # (<=) :: AnnotatedType -> AnnotatedType -> Bool # (>) :: AnnotatedType -> AnnotatedType -> Bool # (>=) :: AnnotatedType -> AnnotatedType -> Bool # max :: AnnotatedType -> AnnotatedType -> AnnotatedType # min :: AnnotatedType -> AnnotatedType -> AnnotatedType #

_AnnotatedType :: Name Source #

_AnnotatedType_subject :: Name Source #

_AnnotatedType_annotation :: Name Source #

data Application Source #

A term which applies a function to an argument

Constructors

Application
Fields applicationFunction :: Term The left-hand side of the application applicationArgument :: Term The right-hand side of the application

Instances

Instances details

Read Application Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Application # readList :: ReadS [Application] # readPrec :: ReadPrec Application # readListPrec :: ReadPrec [Application] #
Show Application Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Application -> ShowS # show :: Application -> String # showList :: [Application] -> ShowS #
Eq Application Source #
Instance details Defined in Hydra.Core Methods (==) :: Application -> Application -> Bool # (/=) :: Application -> Application -> Bool #
Ord Application Source #
Instance details Defined in Hydra.Core Methods compare :: Application -> Application -> Ordering # (<) :: Application -> Application -> Bool # (<=) :: Application -> Application -> Bool # (>) :: Application -> Application -> Bool # (>=) :: Application -> Application -> Bool # max :: Application -> Application -> Application # min :: Application -> Application -> Application #

_Application :: Name Source #

_Application_function :: Name Source #

_Application_argument :: Name Source #

data ApplicationType Source #

The type-level analog of an application term

Constructors

ApplicationType
Fields applicationTypeFunction :: Type The left-hand side of the application applicationTypeArgument :: Type The right-hand side of the application

Instances

Instances details

Read ApplicationType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS ApplicationType # readList :: ReadS [ApplicationType] # readPrec :: ReadPrec ApplicationType # readListPrec :: ReadPrec [ApplicationType] #
Show ApplicationType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> ApplicationType -> ShowS # show :: ApplicationType -> String # showList :: [ApplicationType] -> ShowS #
Eq ApplicationType Source #
Instance details Defined in Hydra.Core Methods (==) :: ApplicationType -> ApplicationType -> Bool # (/=) :: ApplicationType -> ApplicationType -> Bool #
Ord ApplicationType Source #
Instance details Defined in Hydra.Core Methods compare :: ApplicationType -> ApplicationType -> Ordering # (<) :: ApplicationType -> ApplicationType -> Bool # (<=) :: ApplicationType -> ApplicationType -> Bool # (>) :: ApplicationType -> ApplicationType -> Bool # (>=) :: ApplicationType -> ApplicationType -> Bool # max :: ApplicationType -> ApplicationType -> ApplicationType # min :: ApplicationType -> ApplicationType -> ApplicationType #

_ApplicationType :: Name Source #

_ApplicationType_function :: Name Source #

_ApplicationType_argument :: Name Source #

data CaseStatement Source #

A union elimination; a case statement

Constructors

CaseStatement
Fields caseStatementTypeName :: Name caseStatementDefault :: Maybe Term caseStatementCases :: [Field]

Instances

Instances details

Read CaseStatement Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS CaseStatement # readList :: ReadS [CaseStatement] # readPrec :: ReadPrec CaseStatement # readListPrec :: ReadPrec [CaseStatement] #
Show CaseStatement Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> CaseStatement -> ShowS # show :: CaseStatement -> String # showList :: [CaseStatement] -> ShowS #
Eq CaseStatement Source #
Instance details Defined in Hydra.Core Methods (==) :: CaseStatement -> CaseStatement -> Bool # (/=) :: CaseStatement -> CaseStatement -> Bool #
Ord CaseStatement Source #
Instance details Defined in Hydra.Core Methods compare :: CaseStatement -> CaseStatement -> Ordering # (<) :: CaseStatement -> CaseStatement -> Bool # (<=) :: CaseStatement -> CaseStatement -> Bool # (>) :: CaseStatement -> CaseStatement -> Bool # (>=) :: CaseStatement -> CaseStatement -> Bool # max :: CaseStatement -> CaseStatement -> CaseStatement # min :: CaseStatement -> CaseStatement -> CaseStatement #

_CaseStatement :: Name Source #

_CaseStatement_typeName :: Name Source #

_CaseStatement_default :: Name Source #

_CaseStatement_cases :: Name Source #

data Elimination Source #

A corresponding elimination for an introduction term

Constructors

EliminationList Term	Eliminates a list using a fold function; this function has the signature b -> [a] -> b
EliminationOptional OptionalCases	Eliminates an optional term by matching over the two possible cases
EliminationProduct TupleProjection	Eliminates a tuple by projecting the component at a given 0-indexed offset
EliminationRecord Projection	Eliminates a record by projecting a given field
EliminationUnion CaseStatement	Eliminates a union term by matching over the fields of the union. This is a case statement.
EliminationWrap Name	Unwrap a wrapped term

Instances

Instances details

Read Elimination Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Elimination # readList :: ReadS [Elimination] # readPrec :: ReadPrec Elimination # readListPrec :: ReadPrec [Elimination] #
Show Elimination Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Elimination -> ShowS # show :: Elimination -> String # showList :: [Elimination] -> ShowS #
Eq Elimination Source #
Instance details Defined in Hydra.Core Methods (==) :: Elimination -> Elimination -> Bool # (/=) :: Elimination -> Elimination -> Bool #
Ord Elimination Source #
Instance details Defined in Hydra.Core Methods compare :: Elimination -> Elimination -> Ordering # (<) :: Elimination -> Elimination -> Bool # (<=) :: Elimination -> Elimination -> Bool # (>) :: Elimination -> Elimination -> Bool # (>=) :: Elimination -> Elimination -> Bool # max :: Elimination -> Elimination -> Elimination # min :: Elimination -> Elimination -> Elimination #

_Elimination :: Name Source #

_Elimination_list :: Name Source #

_Elimination_optional :: Name Source #

_Elimination_product :: Name Source #

_Elimination_record :: Name Source #

_Elimination_union :: Name Source #

_Elimination_wrap :: Name Source #

data Field Source #

A name/term pair

Constructors

Field
Fields fieldName :: Name fieldTerm :: Term

Instances

Instances details

Read Field Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Field # readList :: ReadS [Field] # readPrec :: ReadPrec Field # readListPrec :: ReadPrec [Field] #
Show Field Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #
Eq Field Source #
Instance details Defined in Hydra.Core Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Ord Field Source #
Instance details Defined in Hydra.Core Methods compare :: Field -> Field -> Ordering # (<) :: Field -> Field -> Bool # (<=) :: Field -> Field -> Bool # (>) :: Field -> Field -> Bool # (>=) :: Field -> Field -> Bool # max :: Field -> Field -> Field # min :: Field -> Field -> Field #

_Field :: Name Source #

_Field_name :: Name Source #

_Field_term :: Name Source #

data FieldType Source #

A name/type pair

Constructors

FieldType
Fields fieldTypeName :: Name fieldTypeType :: Type

Instances

Instances details

Read FieldType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS FieldType # readList :: ReadS [FieldType] # readPrec :: ReadPrec FieldType # readListPrec :: ReadPrec [FieldType] #
Show FieldType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> FieldType -> ShowS # show :: FieldType -> String # showList :: [FieldType] -> ShowS #
Eq FieldType Source #
Instance details Defined in Hydra.Core Methods (==) :: FieldType -> FieldType -> Bool # (/=) :: FieldType -> FieldType -> Bool #
Ord FieldType Source #
Instance details Defined in Hydra.Core Methods compare :: FieldType -> FieldType -> Ordering # (<) :: FieldType -> FieldType -> Bool # (<=) :: FieldType -> FieldType -> Bool # (>) :: FieldType -> FieldType -> Bool # (>=) :: FieldType -> FieldType -> Bool # max :: FieldType -> FieldType -> FieldType # min :: FieldType -> FieldType -> FieldType #

_FieldType :: Name Source #

_FieldType_name :: Name Source #

_FieldType_type :: Name Source #

data FloatType Source #

A floating-point type

Constructors

FloatTypeBigfloat
FloatTypeFloat32
FloatTypeFloat64

Instances

Instances details

Read FloatType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS FloatType # readList :: ReadS [FloatType] # readPrec :: ReadPrec FloatType # readListPrec :: ReadPrec [FloatType] #
Show FloatType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> FloatType -> ShowS # show :: FloatType -> String # showList :: [FloatType] -> ShowS #
Eq FloatType Source #
Instance details Defined in Hydra.Core Methods (==) :: FloatType -> FloatType -> Bool # (/=) :: FloatType -> FloatType -> Bool #
Ord FloatType Source #
Instance details Defined in Hydra.Core Methods compare :: FloatType -> FloatType -> Ordering # (<) :: FloatType -> FloatType -> Bool # (<=) :: FloatType -> FloatType -> Bool # (>) :: FloatType -> FloatType -> Bool # (>=) :: FloatType -> FloatType -> Bool # max :: FloatType -> FloatType -> FloatType # min :: FloatType -> FloatType -> FloatType #

_FloatType :: Name Source #

_FloatType_bigfloat :: Name Source #

_FloatType_float32 :: Name Source #

_FloatType_float64 :: Name Source #

data FloatValue Source #

A floating-point literal value

Constructors

FloatValueBigfloat Double	An arbitrary-precision floating-point value
FloatValueFloat32 Float	A 32-bit floating-point value
FloatValueFloat64 Double	A 64-bit floating-point value

Instances

Instances details

Read FloatValue Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS FloatValue # readList :: ReadS [FloatValue] # readPrec :: ReadPrec FloatValue # readListPrec :: ReadPrec [FloatValue] #
Show FloatValue Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> FloatValue -> ShowS # show :: FloatValue -> String # showList :: [FloatValue] -> ShowS #
Eq FloatValue Source #
Instance details Defined in Hydra.Core Methods (==) :: FloatValue -> FloatValue -> Bool # (/=) :: FloatValue -> FloatValue -> Bool #
Ord FloatValue Source #
Instance details Defined in Hydra.Core Methods compare :: FloatValue -> FloatValue -> Ordering # (<) :: FloatValue -> FloatValue -> Bool # (<=) :: FloatValue -> FloatValue -> Bool # (>) :: FloatValue -> FloatValue -> Bool # (>=) :: FloatValue -> FloatValue -> Bool # max :: FloatValue -> FloatValue -> FloatValue # min :: FloatValue -> FloatValue -> FloatValue #

_FloatValue :: Name Source #

_FloatValue_bigfloat :: Name Source #

_FloatValue_float32 :: Name Source #

_FloatValue_float64 :: Name Source #

data Function Source #

A function

Constructors

FunctionElimination Elimination	An elimination for any of a few term variants
FunctionLambda Lambda	A function abstraction (lambda)
FunctionPrimitive Name	A reference to a built-in (primitive) function

Instances

Instances details

Read Function Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Function # readList :: ReadS [Function] # readPrec :: ReadPrec Function # readListPrec :: ReadPrec [Function] #
Show Function Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Eq Function Source #
Instance details Defined in Hydra.Core Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Ord Function Source #
Instance details Defined in Hydra.Core Methods compare :: Function -> Function -> Ordering # (<) :: Function -> Function -> Bool # (<=) :: Function -> Function -> Bool # (>) :: Function -> Function -> Bool # (>=) :: Function -> Function -> Bool # max :: Function -> Function -> Function # min :: Function -> Function -> Function #

_Function :: Name Source #

_Function_elimination :: Name Source #

_Function_lambda :: Name Source #

_Function_primitive :: Name Source #

data FunctionType Source #

A function type, also known as an arrow type

Constructors

FunctionType
Fields functionTypeDomain :: Type functionTypeCodomain :: Type

Instances

Instances details

Read FunctionType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS FunctionType # readList :: ReadS [FunctionType] # readPrec :: ReadPrec FunctionType # readListPrec :: ReadPrec [FunctionType] #
Show FunctionType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> FunctionType -> ShowS # show :: FunctionType -> String # showList :: [FunctionType] -> ShowS #
Eq FunctionType Source #
Instance details Defined in Hydra.Core Methods (==) :: FunctionType -> FunctionType -> Bool # (/=) :: FunctionType -> FunctionType -> Bool #
Ord FunctionType Source #
Instance details Defined in Hydra.Core Methods compare :: FunctionType -> FunctionType -> Ordering # (<) :: FunctionType -> FunctionType -> Bool # (<=) :: FunctionType -> FunctionType -> Bool # (>) :: FunctionType -> FunctionType -> Bool # (>=) :: FunctionType -> FunctionType -> Bool # max :: FunctionType -> FunctionType -> FunctionType # min :: FunctionType -> FunctionType -> FunctionType #

_FunctionType :: Name Source #

_FunctionType_domain :: Name Source #

_FunctionType_codomain :: Name Source #

data Injection Source #

An instance of a union type; i.e. a string-indexed generalization of inl() or inr()

Constructors

Injection
Fields injectionTypeName :: Name injectionField :: Field

Instances

Instances details

Read Injection Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Injection # readList :: ReadS [Injection] # readPrec :: ReadPrec Injection # readListPrec :: ReadPrec [Injection] #
Show Injection Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Injection -> ShowS # show :: Injection -> String # showList :: [Injection] -> ShowS #
Eq Injection Source #
Instance details Defined in Hydra.Core Methods (==) :: Injection -> Injection -> Bool # (/=) :: Injection -> Injection -> Bool #
Ord Injection Source #
Instance details Defined in Hydra.Core Methods compare :: Injection -> Injection -> Ordering # (<) :: Injection -> Injection -> Bool # (<=) :: Injection -> Injection -> Bool # (>) :: Injection -> Injection -> Bool # (>=) :: Injection -> Injection -> Bool # max :: Injection -> Injection -> Injection # min :: Injection -> Injection -> Injection #

_Injection :: Name Source #

_Injection_typeName :: Name Source #

_Injection_field :: Name Source #

data IntegerType Source #

An integer type

Constructors

IntegerTypeBigint
IntegerTypeInt8
IntegerTypeInt16
IntegerTypeInt32
IntegerTypeInt64
IntegerTypeUint8
IntegerTypeUint16
IntegerTypeUint32
IntegerTypeUint64

Instances

Instances details

Read IntegerType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS IntegerType # readList :: ReadS [IntegerType] # readPrec :: ReadPrec IntegerType # readListPrec :: ReadPrec [IntegerType] #
Show IntegerType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> IntegerType -> ShowS # show :: IntegerType -> String # showList :: [IntegerType] -> ShowS #
Eq IntegerType Source #
Instance details Defined in Hydra.Core Methods (==) :: IntegerType -> IntegerType -> Bool # (/=) :: IntegerType -> IntegerType -> Bool #
Ord IntegerType Source #
Instance details Defined in Hydra.Core Methods compare :: IntegerType -> IntegerType -> Ordering # (<) :: IntegerType -> IntegerType -> Bool # (<=) :: IntegerType -> IntegerType -> Bool # (>) :: IntegerType -> IntegerType -> Bool # (>=) :: IntegerType -> IntegerType -> Bool # max :: IntegerType -> IntegerType -> IntegerType # min :: IntegerType -> IntegerType -> IntegerType #

_IntegerType :: Name Source #

_IntegerType_bigint :: Name Source #

_IntegerType_int8 :: Name Source #

_IntegerType_int16 :: Name Source #

_IntegerType_int32 :: Name Source #

_IntegerType_int64 :: Name Source #

_IntegerType_uint8 :: Name Source #

_IntegerType_uint16 :: Name Source #

_IntegerType_uint32 :: Name Source #

_IntegerType_uint64 :: Name Source #

data IntegerValue Source #

An integer literal value

Constructors

IntegerValueBigint Integer	An arbitrary-precision integer value
IntegerValueInt8 Int8	An 8-bit signed integer value
IntegerValueInt16 Int16	A 16-bit signed integer value (short value)
IntegerValueInt32 Int	A 32-bit signed integer value (int value)
IntegerValueInt64 Int64	A 64-bit signed integer value (long value)
IntegerValueUint8 Int16	An 8-bit unsigned integer value (byte)
IntegerValueUint16 Int	A 16-bit unsigned integer value
IntegerValueUint32 Int64	A 32-bit unsigned integer value (unsigned int)
IntegerValueUint64 Integer	A 64-bit unsigned integer value (unsigned long)

Instances

Instances details

Read IntegerValue Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS IntegerValue # readList :: ReadS [IntegerValue] # readPrec :: ReadPrec IntegerValue # readListPrec :: ReadPrec [IntegerValue] #
Show IntegerValue Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> IntegerValue -> ShowS # show :: IntegerValue -> String # showList :: [IntegerValue] -> ShowS #
Eq IntegerValue Source #
Instance details Defined in Hydra.Core Methods (==) :: IntegerValue -> IntegerValue -> Bool # (/=) :: IntegerValue -> IntegerValue -> Bool #
Ord IntegerValue Source #
Instance details Defined in Hydra.Core Methods compare :: IntegerValue -> IntegerValue -> Ordering # (<) :: IntegerValue -> IntegerValue -> Bool # (<=) :: IntegerValue -> IntegerValue -> Bool # (>) :: IntegerValue -> IntegerValue -> Bool # (>=) :: IntegerValue -> IntegerValue -> Bool # max :: IntegerValue -> IntegerValue -> IntegerValue # min :: IntegerValue -> IntegerValue -> IntegerValue #

_IntegerValue :: Name Source #

_IntegerValue_bigint :: Name Source #

_IntegerValue_int8 :: Name Source #

_IntegerValue_int16 :: Name Source #

_IntegerValue_int32 :: Name Source #

_IntegerValue_int64 :: Name Source #

_IntegerValue_uint8 :: Name Source #

_IntegerValue_uint16 :: Name Source #

_IntegerValue_uint32 :: Name Source #

_IntegerValue_uint64 :: Name Source #

data Lambda Source #

A function abstraction (lambda)

Constructors

Lambda
Fields lambdaParameter :: Name The parameter of the lambda lambdaDomain :: Maybe Type An optional domain type for the lambda lambdaBody :: Term The body of the lambda

Instances

Instances details

Read Lambda Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Lambda # readList :: ReadS [Lambda] # readPrec :: ReadPrec Lambda # readListPrec :: ReadPrec [Lambda] #
Show Lambda Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Lambda -> ShowS # show :: Lambda -> String # showList :: [Lambda] -> ShowS #
Eq Lambda Source #
Instance details Defined in Hydra.Core Methods (==) :: Lambda -> Lambda -> Bool # (/=) :: Lambda -> Lambda -> Bool #
Ord Lambda Source #
Instance details Defined in Hydra.Core Methods compare :: Lambda -> Lambda -> Ordering # (<) :: Lambda -> Lambda -> Bool # (<=) :: Lambda -> Lambda -> Bool # (>) :: Lambda -> Lambda -> Bool # (>=) :: Lambda -> Lambda -> Bool # max :: Lambda -> Lambda -> Lambda # min :: Lambda -> Lambda -> Lambda #

_Lambda :: Name Source #

_Lambda_parameter :: Name Source #

_Lambda_domain :: Name Source #

_Lambda_body :: Name Source #

data LambdaType Source #

A type abstraction; the type-level analog of a lambda term

Constructors

LambdaType
Fields lambdaTypeParameter :: Name The variable which is bound by the lambda lambdaTypeBody :: Type The body of the lambda

Instances

Instances details

Read LambdaType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS LambdaType # readList :: ReadS [LambdaType] # readPrec :: ReadPrec LambdaType # readListPrec :: ReadPrec [LambdaType] #
Show LambdaType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> LambdaType -> ShowS # show :: LambdaType -> String # showList :: [LambdaType] -> ShowS #
Eq LambdaType Source #
Instance details Defined in Hydra.Core Methods (==) :: LambdaType -> LambdaType -> Bool # (/=) :: LambdaType -> LambdaType -> Bool #
Ord LambdaType Source #
Instance details Defined in Hydra.Core Methods compare :: LambdaType -> LambdaType -> Ordering # (<) :: LambdaType -> LambdaType -> Bool # (<=) :: LambdaType -> LambdaType -> Bool # (>) :: LambdaType -> LambdaType -> Bool # (>=) :: LambdaType -> LambdaType -> Bool # max :: LambdaType -> LambdaType -> LambdaType # min :: LambdaType -> LambdaType -> LambdaType #

_LambdaType :: Name Source #

_LambdaType_parameter :: Name Source #

_LambdaType_body :: Name Source #

data Let Source #

A set of (possibly recursive) 'let' bindings together with an environment in which they are bound

Constructors

Let
Fields letBindings :: [LetBinding] letEnvironment :: Term

Instances

Instances details

Read Let Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Let # readList :: ReadS [Let] # readPrec :: ReadPrec Let # readListPrec :: ReadPrec [Let] #
Show Let Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Let -> ShowS # show :: Let -> String # showList :: [Let] -> ShowS #
Eq Let Source #
Instance details Defined in Hydra.Core Methods (==) :: Let -> Let -> Bool # (/=) :: Let -> Let -> Bool #
Ord Let Source #
Instance details Defined in Hydra.Core Methods compare :: Let -> Let -> Ordering # (<) :: Let -> Let -> Bool # (<=) :: Let -> Let -> Bool # (>) :: Let -> Let -> Bool # (>=) :: Let -> Let -> Bool # max :: Let -> Let -> Let # min :: Let -> Let -> Let #

_Let :: Name Source #

_Let_bindings :: Name Source #

_Let_environment :: Name Source #

data LetBinding Source #

A field with an optional type scheme, used to bind variables to terms in a 'let' expression

Constructors

LetBinding
Fields letBindingName :: Name letBindingTerm :: Term letBindingType :: Maybe TypeScheme

Instances

Instances details

Read LetBinding Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS LetBinding # readList :: ReadS [LetBinding] # readPrec :: ReadPrec LetBinding # readListPrec :: ReadPrec [LetBinding] #
Show LetBinding Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> LetBinding -> ShowS # show :: LetBinding -> String # showList :: [LetBinding] -> ShowS #
Eq LetBinding Source #
Instance details Defined in Hydra.Core Methods (==) :: LetBinding -> LetBinding -> Bool # (/=) :: LetBinding -> LetBinding -> Bool #
Ord LetBinding Source #
Instance details Defined in Hydra.Core Methods compare :: LetBinding -> LetBinding -> Ordering # (<) :: LetBinding -> LetBinding -> Bool # (<=) :: LetBinding -> LetBinding -> Bool # (>) :: LetBinding -> LetBinding -> Bool # (>=) :: LetBinding -> LetBinding -> Bool # max :: LetBinding -> LetBinding -> LetBinding # min :: LetBinding -> LetBinding -> LetBinding #

_LetBinding :: Name Source #

_LetBinding_name :: Name Source #

_LetBinding_term :: Name Source #

_LetBinding_type :: Name Source #

data Literal Source #

A term constant; an instance of a literal type

Constructors

LiteralBinary String	A binary literal
LiteralBoolean Bool	A boolean literal
LiteralFloat FloatValue	A floating-point literal
LiteralInteger IntegerValue	An integer literal
LiteralString String	A string literal

Instances

Instances details

Read Literal Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Literal # readList :: ReadS [Literal] # readPrec :: ReadPrec Literal # readListPrec :: ReadPrec [Literal] #
Show Literal Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Eq Literal Source #
Instance details Defined in Hydra.Core Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details Defined in Hydra.Core Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #

_Literal :: Name Source #

_Literal_binary :: Name Source #

_Literal_boolean :: Name Source #

_Literal_float :: Name Source #

_Literal_integer :: Name Source #

_Literal_string :: Name Source #

data LiteralType Source #

Any of a fixed set of literal types, also called atomic types, base types, primitive types, or type constants

Constructors

LiteralTypeBinary
LiteralTypeBoolean
LiteralTypeFloat FloatType
LiteralTypeInteger IntegerType
LiteralTypeString

Instances

Instances details

Read LiteralType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS LiteralType # readList :: ReadS [LiteralType] # readPrec :: ReadPrec LiteralType # readListPrec :: ReadPrec [LiteralType] #
Show LiteralType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> LiteralType -> ShowS # show :: LiteralType -> String # showList :: [LiteralType] -> ShowS #
Eq LiteralType Source #
Instance details Defined in Hydra.Core Methods (==) :: LiteralType -> LiteralType -> Bool # (/=) :: LiteralType -> LiteralType -> Bool #
Ord LiteralType Source #
Instance details Defined in Hydra.Core Methods compare :: LiteralType -> LiteralType -> Ordering # (<) :: LiteralType -> LiteralType -> Bool # (<=) :: LiteralType -> LiteralType -> Bool # (>) :: LiteralType -> LiteralType -> Bool # (>=) :: LiteralType -> LiteralType -> Bool # max :: LiteralType -> LiteralType -> LiteralType # min :: LiteralType -> LiteralType -> LiteralType #

_LiteralType :: Name Source #

_LiteralType_binary :: Name Source #

_LiteralType_boolean :: Name Source #

_LiteralType_float :: Name Source #

_LiteralType_integer :: Name Source #

_LiteralType_string :: Name Source #

data MapType Source #

A map type

Constructors

MapType
Fields mapTypeKeys :: Type mapTypeValues :: Type

Instances

Instances details

Read MapType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS MapType # readList :: ReadS [MapType] # readPrec :: ReadPrec MapType # readListPrec :: ReadPrec [MapType] #
Show MapType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> MapType -> ShowS # show :: MapType -> String # showList :: [MapType] -> ShowS #
Eq MapType Source #
Instance details Defined in Hydra.Core Methods (==) :: MapType -> MapType -> Bool # (/=) :: MapType -> MapType -> Bool #
Ord MapType Source #
Instance details Defined in Hydra.Core Methods compare :: MapType -> MapType -> Ordering # (<) :: MapType -> MapType -> Bool # (<=) :: MapType -> MapType -> Bool # (>) :: MapType -> MapType -> Bool # (>=) :: MapType -> MapType -> Bool # max :: MapType -> MapType -> MapType # min :: MapType -> MapType -> MapType #

_MapType :: Name Source #

_MapType_keys :: Name Source #

_MapType_values :: Name Source #

newtype Name Source #

A unique identifier in some context; a string-valued key

Constructors

Name
Fields unName :: String

Instances

Instances details

Read Name Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Name # readList :: ReadS [Name] # readPrec :: ReadPrec Name # readListPrec :: ReadPrec [Name] #
Show Name Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Eq Name Source #
Instance details Defined in Hydra.Core Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Instance details Defined in Hydra.Core Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #

_Name :: Name Source #

data WrappedTerm Source #

A term wrapped in a type name

Constructors

WrappedTerm
Fields wrappedTermTypeName :: Name wrappedTermObject :: Term

Instances

Instances details

Read WrappedTerm Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS WrappedTerm # readList :: ReadS [WrappedTerm] # readPrec :: ReadPrec WrappedTerm # readListPrec :: ReadPrec [WrappedTerm] #
Show WrappedTerm Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> WrappedTerm -> ShowS # show :: WrappedTerm -> String # showList :: [WrappedTerm] -> ShowS #
Eq WrappedTerm Source #
Instance details Defined in Hydra.Core Methods (==) :: WrappedTerm -> WrappedTerm -> Bool # (/=) :: WrappedTerm -> WrappedTerm -> Bool #
Ord WrappedTerm Source #
Instance details Defined in Hydra.Core Methods compare :: WrappedTerm -> WrappedTerm -> Ordering # (<) :: WrappedTerm -> WrappedTerm -> Bool # (<=) :: WrappedTerm -> WrappedTerm -> Bool # (>) :: WrappedTerm -> WrappedTerm -> Bool # (>=) :: WrappedTerm -> WrappedTerm -> Bool # max :: WrappedTerm -> WrappedTerm -> WrappedTerm # min :: WrappedTerm -> WrappedTerm -> WrappedTerm #

_WrappedTerm :: Name Source #

_WrappedTerm_typeName :: Name Source #

_WrappedTerm_object :: Name Source #

data WrappedType Source #

A type wrapped in a type name

Constructors

WrappedType
Fields wrappedTypeTypeName :: Name wrappedTypeObject :: Type

Instances

Instances details

Read WrappedType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS WrappedType # readList :: ReadS [WrappedType] # readPrec :: ReadPrec WrappedType # readListPrec :: ReadPrec [WrappedType] #
Show WrappedType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> WrappedType -> ShowS # show :: WrappedType -> String # showList :: [WrappedType] -> ShowS #
Eq WrappedType Source #
Instance details Defined in Hydra.Core Methods (==) :: WrappedType -> WrappedType -> Bool # (/=) :: WrappedType -> WrappedType -> Bool #
Ord WrappedType Source #
Instance details Defined in Hydra.Core Methods compare :: WrappedType -> WrappedType -> Ordering # (<) :: WrappedType -> WrappedType -> Bool # (<=) :: WrappedType -> WrappedType -> Bool # (>) :: WrappedType -> WrappedType -> Bool # (>=) :: WrappedType -> WrappedType -> Bool # max :: WrappedType -> WrappedType -> WrappedType # min :: WrappedType -> WrappedType -> WrappedType #

_WrappedType :: Name Source #

_WrappedType_typeName :: Name Source #

_WrappedType_object :: Name Source #

data OptionalCases Source #

A case statement for matching optional terms

Constructors

OptionalCases
Fields optionalCasesNothing :: Term A term provided if the optional value is nothing optionalCasesJust :: Term A function which is applied if the optional value is non-nothing

Instances

Instances details

Read OptionalCases Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS OptionalCases # readList :: ReadS [OptionalCases] # readPrec :: ReadPrec OptionalCases # readListPrec :: ReadPrec [OptionalCases] #
Show OptionalCases Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> OptionalCases -> ShowS # show :: OptionalCases -> String # showList :: [OptionalCases] -> ShowS #
Eq OptionalCases Source #
Instance details Defined in Hydra.Core Methods (==) :: OptionalCases -> OptionalCases -> Bool # (/=) :: OptionalCases -> OptionalCases -> Bool #
Ord OptionalCases Source #
Instance details Defined in Hydra.Core Methods compare :: OptionalCases -> OptionalCases -> Ordering # (<) :: OptionalCases -> OptionalCases -> Bool # (<=) :: OptionalCases -> OptionalCases -> Bool # (>) :: OptionalCases -> OptionalCases -> Bool # (>=) :: OptionalCases -> OptionalCases -> Bool # max :: OptionalCases -> OptionalCases -> OptionalCases # min :: OptionalCases -> OptionalCases -> OptionalCases #

_OptionalCases :: Name Source #

_OptionalCases_nothing :: Name Source #

_OptionalCases_just :: Name Source #

data Projection Source #

A record elimination; a projection

Constructors

Projection
Fields projectionTypeName :: Name The name of the record type projectionField :: Name The name of the projected field

Instances

Instances details

Read Projection Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Projection # readList :: ReadS [Projection] # readPrec :: ReadPrec Projection # readListPrec :: ReadPrec [Projection] #
Show Projection Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Projection -> ShowS # show :: Projection -> String # showList :: [Projection] -> ShowS #
Eq Projection Source #
Instance details Defined in Hydra.Core Methods (==) :: Projection -> Projection -> Bool # (/=) :: Projection -> Projection -> Bool #
Ord Projection Source #
Instance details Defined in Hydra.Core Methods compare :: Projection -> Projection -> Ordering # (<) :: Projection -> Projection -> Bool # (<=) :: Projection -> Projection -> Bool # (>) :: Projection -> Projection -> Bool # (>=) :: Projection -> Projection -> Bool # max :: Projection -> Projection -> Projection # min :: Projection -> Projection -> Projection #

_Projection :: Name Source #

_Projection_typeName :: Name Source #

_Projection_field :: Name Source #

data Record Source #

A record, or labeled tuple; a map of field names to terms

Constructors

Record
Fields recordTypeName :: Name recordFields :: [Field]

Instances

Instances details

Read Record Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Record # readList :: ReadS [Record] # readPrec :: ReadPrec Record # readListPrec :: ReadPrec [Record] #
Show Record Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Record -> ShowS # show :: Record -> String # showList :: [Record] -> ShowS #
Eq Record Source #
Instance details Defined in Hydra.Core Methods (==) :: Record -> Record -> Bool # (/=) :: Record -> Record -> Bool #
Ord Record Source #
Instance details Defined in Hydra.Core Methods compare :: Record -> Record -> Ordering # (<) :: Record -> Record -> Bool # (<=) :: Record -> Record -> Bool # (>) :: Record -> Record -> Bool # (>=) :: Record -> Record -> Bool # max :: Record -> Record -> Record # min :: Record -> Record -> Record #

_Record :: Name Source #

_Record_typeName :: Name Source #

_Record_fields :: Name Source #

data RowType Source #

A labeled record or union type

Constructors

RowType
Fields rowTypeTypeName :: Name The name of the row type, which must correspond to the name of a Type element rowTypeFields :: [FieldType] The fields of this row type, excluding any inherited fields

Instances

Instances details

Read RowType Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS RowType # readList :: ReadS [RowType] # readPrec :: ReadPrec RowType # readListPrec :: ReadPrec [RowType] #
Show RowType Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> RowType -> ShowS # show :: RowType -> String # showList :: [RowType] -> ShowS #
Eq RowType Source #
Instance details Defined in Hydra.Core Methods (==) :: RowType -> RowType -> Bool # (/=) :: RowType -> RowType -> Bool #
Ord RowType Source #
Instance details Defined in Hydra.Core Methods compare :: RowType -> RowType -> Ordering # (<) :: RowType -> RowType -> Bool # (<=) :: RowType -> RowType -> Bool # (>) :: RowType -> RowType -> Bool # (>=) :: RowType -> RowType -> Bool # max :: RowType -> RowType -> RowType # min :: RowType -> RowType -> RowType #

_RowType :: Name Source #

_RowType_typeName :: Name Source #

_RowType_fields :: Name Source #

data Sum Source #

The unlabeled equivalent of an Injection term

Constructors

Sum
Fields sumIndex :: Int sumSize :: Int sumTerm :: Term

Instances

Instances details

Read Sum Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Sum # readList :: ReadS [Sum] # readPrec :: ReadPrec Sum # readListPrec :: ReadPrec [Sum] #
Show Sum Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Sum -> ShowS # show :: Sum -> String # showList :: [Sum] -> ShowS #
Eq Sum Source #
Instance details Defined in Hydra.Core Methods (==) :: Sum -> Sum -> Bool # (/=) :: Sum -> Sum -> Bool #
Ord Sum Source #
Instance details Defined in Hydra.Core Methods compare :: Sum -> Sum -> Ordering # (<) :: Sum -> Sum -> Bool # (<=) :: Sum -> Sum -> Bool # (>) :: Sum -> Sum -> Bool # (>=) :: Sum -> Sum -> Bool # max :: Sum -> Sum -> Sum # min :: Sum -> Sum -> Sum #

_Sum :: Name Source #

_Sum_index :: Name Source #

_Sum_size :: Name Source #

_Sum_term :: Name Source #

data Term Source #

A data term

Constructors

TermAnnotated AnnotatedTerm	A term annotated with metadata
TermApplication Application	A function application
TermFunction Function	A function term
TermLet Let
TermList [Term]	A list
TermLiteral Literal	A literal value
TermMap (Map Term Term)	A map of keys to values
TermOptional (Maybe Term)	An optional value
TermProduct [Term]	A tuple
TermRecord Record	A record term
TermSet (Set Term)	A set of values
TermSum Sum	A variant tuple
TermTypeAbstraction TypeAbstraction	A System F type abstraction term
TermTypeApplication TypedTerm	A System F type application term
TermTyped TypedTerm	A term annotated with its type
TermUnion Injection	An injection; an instance of a union type
TermVariable Name	A variable reference
TermWrap WrappedTerm

Instances

Instances details

IsString Term Source #
Instance details Defined in Hydra.Dsl.Terms Methods fromString :: String -> Term #
Read Term Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Term # readList :: ReadS [Term] # readPrec :: ReadPrec Term # readListPrec :: ReadPrec [Term] #
Show Term Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Eq Term Source #
Instance details Defined in Hydra.Core Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term Source #
Instance details Defined in Hydra.Core Methods compare :: Term -> Term -> Ordering # (<) :: Term -> Term -> Bool # (<=) :: Term -> Term -> Bool # (>) :: Term -> Term -> Bool # (>=) :: Term -> Term -> Bool # max :: Term -> Term -> Term # min :: Term -> Term -> Term #
IsString (TermCoder Term) Source #
Instance details Defined in Hydra.Dsl.Prims Methods fromString :: String -> TermCoder Term #

_Term :: Name Source #

_Term_annotated :: Name Source #

_Term_application :: Name Source #

_Term_function :: Name Source #

_Term_let :: Name Source #

_Term_list :: Name Source #

_Term_literal :: Name Source #

_Term_map :: Name Source #

_Term_optional :: Name Source #

_Term_product :: Name Source #

_Term_record :: Name Source #

_Term_set :: Name Source #

_Term_sum :: Name Source #

_Term_typeAbstraction :: Name Source #

_Term_typeApplication :: Name Source #

_Term_typed :: Name Source #

_Term_union :: Name Source #

_Term_variable :: Name Source #

_Term_wrap :: Name Source #

data TupleProjection Source #

A tuple elimination; a projection from an integer-indexed product

Constructors

TupleProjection
Fields tupleProjectionArity :: Int The arity of the tuple tupleProjectionIndex :: Int The 0-indexed offset from the beginning of the tuple

Instances

Instances details

Read TupleProjection Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS TupleProjection # readList :: ReadS [TupleProjection] # readPrec :: ReadPrec TupleProjection # readListPrec :: ReadPrec [TupleProjection] #
Show TupleProjection Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> TupleProjection -> ShowS # show :: TupleProjection -> String # showList :: [TupleProjection] -> ShowS #
Eq TupleProjection Source #
Instance details Defined in Hydra.Core Methods (==) :: TupleProjection -> TupleProjection -> Bool # (/=) :: TupleProjection -> TupleProjection -> Bool #
Ord TupleProjection Source #
Instance details Defined in Hydra.Core Methods compare :: TupleProjection -> TupleProjection -> Ordering # (<) :: TupleProjection -> TupleProjection -> Bool # (<=) :: TupleProjection -> TupleProjection -> Bool # (>) :: TupleProjection -> TupleProjection -> Bool # (>=) :: TupleProjection -> TupleProjection -> Bool # max :: TupleProjection -> TupleProjection -> TupleProjection # min :: TupleProjection -> TupleProjection -> TupleProjection #

_TupleProjection :: Name Source #

_TupleProjection_arity :: Name Source #

_TupleProjection_index :: Name Source #

data Type Source #

A data type

Instances

Instances details

IsString Type Source #
Instance details Defined in Hydra.Dsl.Types Methods fromString :: String -> Type #
Read Type Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Type # readList :: ReadS [Type] # readPrec :: ReadPrec Type # readListPrec :: ReadPrec [Type] #
Show Type Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Eq Type Source #
Instance details Defined in Hydra.Core Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Hydra.Core Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #

_Type :: Name Source #

_Type_annotated :: Name Source #

_Type_application :: Name Source #

_Type_function :: Name Source #

_Type_lambda :: Name Source #

_Type_list :: Name Source #

_Type_literal :: Name Source #

_Type_map :: Name Source #

_Type_optional :: Name Source #

_Type_product :: Name Source #

_Type_record :: Name Source #

_Type_set :: Name Source #

_Type_sum :: Name Source #

_Type_union :: Name Source #

_Type_variable :: Name Source #

_Type_wrap :: Name Source #

data TypeAbstraction Source #

A System F type abstraction term

Constructors

TypeAbstraction
Fields typeAbstractionParameter :: Name The type variable introduced by the abstraction typeAbstractionBody :: Term The body of the abstraction

Instances

Instances details

Read TypeAbstraction Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS TypeAbstraction # readList :: ReadS [TypeAbstraction] # readPrec :: ReadPrec TypeAbstraction # readListPrec :: ReadPrec [TypeAbstraction] #
Show TypeAbstraction Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> TypeAbstraction -> ShowS # show :: TypeAbstraction -> String # showList :: [TypeAbstraction] -> ShowS #
Eq TypeAbstraction Source #
Instance details Defined in Hydra.Core Methods (==) :: TypeAbstraction -> TypeAbstraction -> Bool # (/=) :: TypeAbstraction -> TypeAbstraction -> Bool #
Ord TypeAbstraction Source #
Instance details Defined in Hydra.Core Methods compare :: TypeAbstraction -> TypeAbstraction -> Ordering # (<) :: TypeAbstraction -> TypeAbstraction -> Bool # (<=) :: TypeAbstraction -> TypeAbstraction -> Bool # (>) :: TypeAbstraction -> TypeAbstraction -> Bool # (>=) :: TypeAbstraction -> TypeAbstraction -> Bool # max :: TypeAbstraction -> TypeAbstraction -> TypeAbstraction # min :: TypeAbstraction -> TypeAbstraction -> TypeAbstraction #

_TypeAbstraction :: Name Source #

_TypeAbstraction_parameter :: Name Source #

_TypeAbstraction_body :: Name Source #

data TypeScheme Source #

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

Constructors

TypeScheme
Fields typeSchemeVariables :: [Name] typeSchemeType :: Type

Instances

Instances details

Read TypeScheme Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS TypeScheme # readList :: ReadS [TypeScheme] # readPrec :: ReadPrec TypeScheme # readListPrec :: ReadPrec [TypeScheme] #
Show TypeScheme Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> TypeScheme -> ShowS # show :: TypeScheme -> String # showList :: [TypeScheme] -> ShowS #
Eq TypeScheme Source #
Instance details Defined in Hydra.Core Methods (==) :: TypeScheme -> TypeScheme -> Bool # (/=) :: TypeScheme -> TypeScheme -> Bool #
Ord TypeScheme Source #
Instance details Defined in Hydra.Core Methods compare :: TypeScheme -> TypeScheme -> Ordering # (<) :: TypeScheme -> TypeScheme -> Bool # (<=) :: TypeScheme -> TypeScheme -> Bool # (>) :: TypeScheme -> TypeScheme -> Bool # (>=) :: TypeScheme -> TypeScheme -> Bool # max :: TypeScheme -> TypeScheme -> TypeScheme # min :: TypeScheme -> TypeScheme -> TypeScheme #

_TypeScheme :: Name Source #

_TypeScheme_variables :: Name Source #

_TypeScheme_type :: Name Source #

data TypedTerm Source #

A term together with its type

Constructors

TypedTerm
Fields typedTermTerm :: Term typedTermType :: Type

Instances

Instances details

Read TypedTerm Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS TypedTerm # readList :: ReadS [TypedTerm] # readPrec :: ReadPrec TypedTerm # readListPrec :: ReadPrec [TypedTerm] #
Show TypedTerm Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> TypedTerm -> ShowS # show :: TypedTerm -> String # showList :: [TypedTerm] -> ShowS #
Eq TypedTerm Source #
Instance details Defined in Hydra.Core Methods (==) :: TypedTerm -> TypedTerm -> Bool # (/=) :: TypedTerm -> TypedTerm -> Bool #
Ord TypedTerm Source #
Instance details Defined in Hydra.Core Methods compare :: TypedTerm -> TypedTerm -> Ordering # (<) :: TypedTerm -> TypedTerm -> Bool # (<=) :: TypedTerm -> TypedTerm -> Bool # (>) :: TypedTerm -> TypedTerm -> Bool # (>=) :: TypedTerm -> TypedTerm -> Bool # max :: TypedTerm -> TypedTerm -> TypedTerm # min :: TypedTerm -> TypedTerm -> TypedTerm #

_TypedTerm :: Name Source #

_TypedTerm_term :: Name Source #

_TypedTerm_type :: Name Source #

data Unit Source #

An empty record as a canonical unit value

Constructors

Unit

Instances

Instances details

Read Unit Source #
Instance details Defined in Hydra.Core Methods readsPrec :: Int -> ReadS Unit # readList :: ReadS [Unit] # readPrec :: ReadPrec Unit # readListPrec :: ReadPrec [Unit] #
Show Unit Source #
Instance details Defined in Hydra.Core Methods showsPrec :: Int -> Unit -> ShowS # show :: Unit -> String # showList :: [Unit] -> ShowS #
Eq Unit Source #
Instance details Defined in Hydra.Core Methods (==) :: Unit -> Unit -> Bool # (/=) :: Unit -> Unit -> Bool #
Ord Unit Source #
Instance details Defined in Hydra.Core Methods compare :: Unit -> Unit -> Ordering # (<) :: Unit -> Unit -> Bool # (<=) :: Unit -> Unit -> Bool # (>) :: Unit -> Unit -> Bool # (>=) :: Unit -> Unit -> Bool # max :: Unit -> Unit -> Unit # min :: Unit -> Unit -> Unit #

_Unit :: Name Source #

TypeAnnotated AnnotatedType
TypeApplication ApplicationType
TypeFunction FunctionType
TypeLambda LambdaType
TypeList Type
TypeLiteral LiteralType
TypeMap MapType
TypeOptional Type
TypeProduct [Type]
TypeRecord RowType
TypeSet Type
TypeSum [Type]
TypeUnion RowType
TypeVariable Name
TypeWrap WrappedType