Hydra.Core

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

Documentation

data Annotated a m

Constructors

Annotated

Fields

• annotatedSubject :: a
• annotatedAnnotation :: m

Instances

(Read a, Read m) => Read (Annotated a m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Annotated a m)

readList :: ReadS [Annotated a m]

readPrec :: ReadPrec (Annotated a m)

readListPrec :: ReadPrec [Annotated a m]

(Show a, Show m) => Show (Annotated a m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Annotated a m -> ShowS

show :: Annotated a m -> String

showList :: [Annotated a m] -> ShowS

(Eq a, Eq m) => Eq (Annotated a m)

Defined in Hydra.Core

Methods

(==) :: Annotated a m -> Annotated a m -> Bool

(/=) :: Annotated a m -> Annotated a m -> Bool

(Ord a, Ord m) => Ord (Annotated a m)

Defined in Hydra.Core

Methods

compare :: Annotated a m -> Annotated a m -> Ordering

(<) :: Annotated a m -> Annotated a m -> Bool

(<=) :: Annotated a m -> Annotated a m -> Bool

(>) :: Annotated a m -> Annotated a m -> Bool

(>=) :: Annotated a m -> Annotated a m -> Bool

max :: Annotated a m -> Annotated a m -> Annotated a m

min :: Annotated a m -> Annotated a m -> Annotated a m

_Annotated :: Name

_Annotated_subject :: FieldName

_Annotated_annotation :: FieldName

data Application m

A term which applies a function to an argument

Constructors

Application

Fields

• applicationFunction :: Term m

  The left-hand side of the application

• applicationArgument :: Term m

  The right-hand side of the application

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Application m)

readList :: ReadS [Application m]

readPrec :: ReadPrec (Application m)

readListPrec :: ReadPrec [Application m]

Show m => Show (Application m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Application m -> ShowS

show :: Application m -> String

showList :: [Application m] -> ShowS

Eq m => Eq (Application m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Application m)

Defined in Hydra.Core

Methods

compare :: Application m -> Application m -> Ordering

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

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

(>) :: Application m -> Application m -> Bool

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

max :: Application m -> Application m -> Application m

min :: Application m -> Application m -> Application m

_Application :: Name

_Application_function :: FieldName

_Application_argument :: FieldName

data ApplicationType m

The type-level analog of an application term

Constructors

ApplicationType

Fields

• applicationTypeFunction :: Type m

  The left-hand side of the application

• applicationTypeArgument :: Type m

  The right-hand side of the application

Instances

Read m => Read (ApplicationType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (ApplicationType m)

readList :: ReadS [ApplicationType m]

readPrec :: ReadPrec (ApplicationType m)

readListPrec :: ReadPrec [ApplicationType m]

Show m => Show (ApplicationType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> ApplicationType m -> ShowS

show :: ApplicationType m -> String

showList :: [ApplicationType m] -> ShowS

Eq m => Eq (ApplicationType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (ApplicationType m)

Defined in Hydra.Core

Methods

compare :: ApplicationType m -> ApplicationType m -> Ordering

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

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

(>) :: ApplicationType m -> ApplicationType m -> Bool

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

max :: ApplicationType m -> ApplicationType m -> ApplicationType m

min :: ApplicationType m -> ApplicationType m -> ApplicationType m

_ApplicationType :: Name

_ApplicationType_function :: FieldName

_ApplicationType_argument :: FieldName

data CaseStatement m

Constructors

CaseStatement

Fields

• caseStatementTypeName :: Name
• caseStatementCases :: [Field m]

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (CaseStatement m)

readList :: ReadS [CaseStatement m]

readPrec :: ReadPrec (CaseStatement m)

readListPrec :: ReadPrec [CaseStatement m]

Show m => Show (CaseStatement m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> CaseStatement m -> ShowS

show :: CaseStatement m -> String

showList :: [CaseStatement m] -> ShowS

Eq m => Eq (CaseStatement m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (CaseStatement m)

Defined in Hydra.Core

Methods

compare :: CaseStatement m -> CaseStatement m -> Ordering

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

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

(>) :: CaseStatement m -> CaseStatement m -> Bool

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

max :: CaseStatement m -> CaseStatement m -> CaseStatement m

min :: CaseStatement m -> CaseStatement m -> CaseStatement m

_CaseStatement :: Name

_CaseStatement_typeName :: FieldName

_CaseStatement_cases :: FieldName

data Elimination m

A corresponding elimination for an introduction term

Constructors

EliminationElement

Eliminates an element by mapping it to its data term. This is Hydra's delta function.

EliminationList (Term m)

Eliminates a list using a fold function; this function has the signature b -> [a] -> b

EliminationNominal Name

Eliminates a nominal term by extracting the wrapped term

EliminationOptional (OptionalCases m)

Eliminates an optional term by matching over the two possible cases

EliminationRecord Projection

Eliminates a record by projecting a given field

EliminationUnion (CaseStatement m)

Eliminates a union term by matching over the fields of the union. This is a case statement.

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Elimination m)

readList :: ReadS [Elimination m]

readPrec :: ReadPrec (Elimination m)

readListPrec :: ReadPrec [Elimination m]

Show m => Show (Elimination m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Elimination m -> ShowS

show :: Elimination m -> String

showList :: [Elimination m] -> ShowS

Eq m => Eq (Elimination m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Elimination m)

Defined in Hydra.Core

Methods

compare :: Elimination m -> Elimination m -> Ordering

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

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

(>) :: Elimination m -> Elimination m -> Bool

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

max :: Elimination m -> Elimination m -> Elimination m

min :: Elimination m -> Elimination m -> Elimination m

_Elimination :: Name

_Elimination_element :: FieldName

_Elimination_list :: FieldName

_Elimination_nominal :: FieldName

_Elimination_optional :: FieldName

_Elimination_record :: FieldName

_Elimination_union :: FieldName

data Field m

A labeled term

Constructors

Field

Fields

• fieldName :: FieldName
• fieldTerm :: Term m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Field m)

readList :: ReadS [Field m]

readPrec :: ReadPrec (Field m)

readListPrec :: ReadPrec [Field m]

Show m => Show (Field m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Field m -> ShowS

show :: Field m -> String

showList :: [Field m] -> ShowS

Eq m => Eq (Field m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Field m)

Defined in Hydra.Core

Methods

compare :: Field m -> Field m -> Ordering

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

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

(>) :: Field m -> Field m -> Bool

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

max :: Field m -> Field m -> Field m

min :: Field m -> Field m -> Field m

_Field :: Name

_Field_name :: FieldName

_Field_term :: FieldName

newtype FieldName

The name of a field

Constructors

FieldName

Fields

• unFieldName :: String

  The name of a field

Instances

Read FieldName

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS FieldName

readList :: ReadS [FieldName]

readPrec :: ReadPrec FieldName

readListPrec :: ReadPrec [FieldName]

Show FieldName

Defined in Hydra.Core

Methods

showsPrec :: Int -> FieldName -> ShowS

show :: FieldName -> String

showList :: [FieldName] -> ShowS

Eq FieldName

Defined in Hydra.Core

Methods

(==) :: FieldName -> FieldName -> Bool

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

Ord FieldName

Defined in Hydra.Core

Methods

compare :: FieldName -> FieldName -> Ordering

(<) :: FieldName -> FieldName -> Bool

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

(>) :: FieldName -> FieldName -> Bool

(>=) :: FieldName -> FieldName -> Bool

max :: FieldName -> FieldName -> FieldName

min :: FieldName -> FieldName -> FieldName

_FieldName :: Name

data FieldType m

The name and type of a field

Constructors

FieldType

Fields

• fieldTypeName :: FieldName
• fieldTypeType :: Type m

Instances

Read m => Read (FieldType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (FieldType m)

readList :: ReadS [FieldType m]

readPrec :: ReadPrec (FieldType m)

readListPrec :: ReadPrec [FieldType m]

Show m => Show (FieldType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> FieldType m -> ShowS

show :: FieldType m -> String

showList :: [FieldType m] -> ShowS

Eq m => Eq (FieldType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (FieldType m)

Defined in Hydra.Core

Methods

compare :: FieldType m -> FieldType m -> Ordering

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

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

(>) :: FieldType m -> FieldType m -> Bool

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

max :: FieldType m -> FieldType m -> FieldType m

min :: FieldType m -> FieldType m -> FieldType m

_FieldType :: Name

_FieldType_name :: FieldName

_FieldType_type :: FieldName

data FloatType

A floating-point type

Constructors

FloatTypeBigfloat

FloatTypeFloat32

FloatTypeFloat64

Instances

Read FloatType

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS FloatType

readList :: ReadS [FloatType]

readPrec :: ReadPrec FloatType

readListPrec :: ReadPrec [FloatType]

Show FloatType

Defined in Hydra.Core

Methods

showsPrec :: Int -> FloatType -> ShowS

show :: FloatType -> String

showList :: [FloatType] -> ShowS

Eq FloatType

Defined in Hydra.Core

Methods

(==) :: FloatType -> FloatType -> Bool

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

Ord FloatType

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

_FloatType_bigfloat :: FieldName

_FloatType_float32 :: FieldName

_FloatType_float64 :: FieldName

data FloatValue

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

Read FloatValue

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS FloatValue

readList :: ReadS [FloatValue]

readPrec :: ReadPrec FloatValue

readListPrec :: ReadPrec [FloatValue]

Show FloatValue

Defined in Hydra.Core

Methods

showsPrec :: Int -> FloatValue -> ShowS

show :: FloatValue -> String

showList :: [FloatValue] -> ShowS

Eq FloatValue

Defined in Hydra.Core

Methods

(==) :: FloatValue -> FloatValue -> Bool

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

Ord FloatValue

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

_FloatValue_bigfloat :: FieldName

_FloatValue_float32 :: FieldName

_FloatValue_float64 :: FieldName

data Function m

A function

Constructors

FunctionCompareTo (Term m)

Compares a term with a given term of the same type, producing a Comparison

FunctionElimination (Elimination m)

An elimination for any of a few term variants

FunctionLambda (Lambda m)

A function abstraction (lambda)

FunctionPrimitive Name

A reference to a built-in (primitive) function

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Function m)

readList :: ReadS [Function m]

readPrec :: ReadPrec (Function m)

readListPrec :: ReadPrec [Function m]

Show m => Show (Function m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Function m -> ShowS

show :: Function m -> String

showList :: [Function m] -> ShowS

Eq m => Eq (Function m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Function m)

Defined in Hydra.Core

Methods

compare :: Function m -> Function m -> Ordering

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

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

(>) :: Function m -> Function m -> Bool

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

max :: Function m -> Function m -> Function m

min :: Function m -> Function m -> Function m

_Function :: Name

_Function_compareTo :: FieldName

_Function_elimination :: FieldName

_Function_lambda :: FieldName

_Function_primitive :: FieldName

data FunctionType m

A function type, also known as an arrow type

Constructors

FunctionType

Fields

• functionTypeDomain :: Type m
• functionTypeCodomain :: Type m

Instances

Read m => Read (FunctionType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (FunctionType m)

readList :: ReadS [FunctionType m]

readPrec :: ReadPrec (FunctionType m)

readListPrec :: ReadPrec [FunctionType m]

Show m => Show (FunctionType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> FunctionType m -> ShowS

show :: FunctionType m -> String

showList :: [FunctionType m] -> ShowS

Eq m => Eq (FunctionType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (FunctionType m)

Defined in Hydra.Core

Methods

compare :: FunctionType m -> FunctionType m -> Ordering

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

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

(>) :: FunctionType m -> FunctionType m -> Bool

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

max :: FunctionType m -> FunctionType m -> FunctionType m

min :: FunctionType m -> FunctionType m -> FunctionType m

_FunctionType :: Name

_FunctionType_domain :: FieldName

_FunctionType_codomain :: FieldName

data IntegerType

An integer type

Constructors

IntegerTypeBigint

IntegerTypeInt8

IntegerTypeInt16

IntegerTypeInt32

IntegerTypeInt64

IntegerTypeUint8

IntegerTypeUint16

IntegerTypeUint32

IntegerTypeUint64

Instances

Read IntegerType

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS IntegerType

readList :: ReadS [IntegerType]

readPrec :: ReadPrec IntegerType

readListPrec :: ReadPrec [IntegerType]

Show IntegerType

Defined in Hydra.Core

Methods

showsPrec :: Int -> IntegerType -> ShowS

show :: IntegerType -> String

showList :: [IntegerType] -> ShowS

Eq IntegerType

Defined in Hydra.Core

Methods

(==) :: IntegerType -> IntegerType -> Bool

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

Ord IntegerType

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

_IntegerType_bigint :: FieldName

_IntegerType_int8 :: FieldName

_IntegerType_int16 :: FieldName

_IntegerType_int32 :: FieldName

_IntegerType_int64 :: FieldName

_IntegerType_uint8 :: FieldName

_IntegerType_uint16 :: FieldName

_IntegerType_uint32 :: FieldName

_IntegerType_uint64 :: FieldName

data IntegerValue

An integer literal value

Constructors

IntegerValueBigint Integer

An arbitrary-precision integer value

IntegerValueInt8 Int

An 8-bit signed integer value

IntegerValueInt16 Int

A 16-bit signed integer value (short value)

IntegerValueInt32 Int

A 32-bit signed integer value (int value)

IntegerValueInt64 Integer

A 64-bit signed integer value (long value)

IntegerValueUint8 Int

An 8-bit unsigned integer value (byte)

IntegerValueUint16 Int

A 16-bit unsigned integer value

IntegerValueUint32 Integer

A 32-bit unsigned integer value (unsigned int)

IntegerValueUint64 Integer

A 64-bit unsigned integer value (unsigned long)

Instances

Read IntegerValue

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS IntegerValue

readList :: ReadS [IntegerValue]

readPrec :: ReadPrec IntegerValue

readListPrec :: ReadPrec [IntegerValue]

Show IntegerValue

Defined in Hydra.Core

Methods

showsPrec :: Int -> IntegerValue -> ShowS

show :: IntegerValue -> String

showList :: [IntegerValue] -> ShowS

Eq IntegerValue

Defined in Hydra.Core

Methods

(==) :: IntegerValue -> IntegerValue -> Bool

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

Ord IntegerValue

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

_IntegerValue_bigint :: FieldName

_IntegerValue_int8 :: FieldName

_IntegerValue_int16 :: FieldName

_IntegerValue_int32 :: FieldName

_IntegerValue_int64 :: FieldName

_IntegerValue_uint8 :: FieldName

_IntegerValue_uint16 :: FieldName

_IntegerValue_uint32 :: FieldName

_IntegerValue_uint64 :: FieldName

data Lambda m

A function abstraction (lambda)

Constructors

Lambda

Fields

• lambdaParameter :: Variable

  The parameter of the lambda

• lambdaBody :: Term m

  The body of the lambda

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Lambda m)

readList :: ReadS [Lambda m]

readPrec :: ReadPrec (Lambda m)

readListPrec :: ReadPrec [Lambda m]

Show m => Show (Lambda m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Lambda m -> ShowS

show :: Lambda m -> String

showList :: [Lambda m] -> ShowS

Eq m => Eq (Lambda m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Lambda m)

Defined in Hydra.Core

Methods

compare :: Lambda m -> Lambda m -> Ordering

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

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

(>) :: Lambda m -> Lambda m -> Bool

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

max :: Lambda m -> Lambda m -> Lambda m

min :: Lambda m -> Lambda m -> Lambda m

_Lambda :: Name

_Lambda_parameter :: FieldName

_Lambda_body :: FieldName

data LambdaType m

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

Constructors

LambdaType

Fields

• lambdaTypeParameter :: VariableType

  The parameter of the lambda

• lambdaTypeBody :: Type m

  The body of the lambda

Instances

Read m => Read (LambdaType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (LambdaType m)

readList :: ReadS [LambdaType m]

readPrec :: ReadPrec (LambdaType m)

readListPrec :: ReadPrec [LambdaType m]

Show m => Show (LambdaType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> LambdaType m -> ShowS

show :: LambdaType m -> String

showList :: [LambdaType m] -> ShowS

Eq m => Eq (LambdaType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (LambdaType m)

Defined in Hydra.Core

Methods

compare :: LambdaType m -> LambdaType m -> Ordering

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

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

(>) :: LambdaType m -> LambdaType m -> Bool

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

max :: LambdaType m -> LambdaType m -> LambdaType m

min :: LambdaType m -> LambdaType m -> LambdaType m

_LambdaType :: Name

_LambdaType_parameter :: FieldName

_LambdaType_body :: FieldName

data Let m

A 'let' binding

Constructors

Let

Fields

• letKey :: Variable
• letValue :: Term m
• letEnvironment :: Term m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Let m)

readList :: ReadS [Let m]

readPrec :: ReadPrec (Let m)

readListPrec :: ReadPrec [Let m]

Show m => Show (Let m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Let m -> ShowS

show :: Let m -> String

showList :: [Let m] -> ShowS

Eq m => Eq (Let m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Let m)

Defined in Hydra.Core

Methods

compare :: Let m -> Let m -> Ordering

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

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

(>) :: Let m -> Let m -> Bool

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

max :: Let m -> Let m -> Let m

min :: Let m -> Let m -> Let m

_Let :: Name

_Let_key :: FieldName

_Let_value :: FieldName

_Let_environment :: FieldName

data Literal

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

Read Literal

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS Literal

readList :: ReadS [Literal]

readPrec :: ReadPrec Literal

readListPrec :: ReadPrec [Literal]

Show Literal

Defined in Hydra.Core

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Eq Literal

Defined in Hydra.Core

Methods

(==) :: Literal -> Literal -> Bool

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

Ord Literal

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

_Literal_binary :: FieldName

_Literal_boolean :: FieldName

_Literal_float :: FieldName

_Literal_integer :: FieldName

_Literal_string :: FieldName

data LiteralType

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

Read LiteralType

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS LiteralType

readList :: ReadS [LiteralType]

readPrec :: ReadPrec LiteralType

readListPrec :: ReadPrec [LiteralType]

Show LiteralType

Defined in Hydra.Core

Methods

showsPrec :: Int -> LiteralType -> ShowS

show :: LiteralType -> String

showList :: [LiteralType] -> ShowS

Eq LiteralType

Defined in Hydra.Core

Methods

(==) :: LiteralType -> LiteralType -> Bool

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

Ord LiteralType

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

_LiteralType_binary :: FieldName

_LiteralType_boolean :: FieldName

_LiteralType_float :: FieldName

_LiteralType_integer :: FieldName

_LiteralType_string :: FieldName

data MapType m

A map type

Constructors

MapType

Fields

• mapTypeKeys :: Type m
• mapTypeValues :: Type m

Instances

Read m => Read (MapType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (MapType m)

readList :: ReadS [MapType m]

readPrec :: ReadPrec (MapType m)

readListPrec :: ReadPrec [MapType m]

Show m => Show (MapType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> MapType m -> ShowS

show :: MapType m -> String

showList :: [MapType m] -> ShowS

Eq m => Eq (MapType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (MapType m)

Defined in Hydra.Core

Methods

compare :: MapType m -> MapType m -> Ordering

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

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

(>) :: MapType m -> MapType m -> Bool

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

max :: MapType m -> MapType m -> MapType m

min :: MapType m -> MapType m -> MapType m

_MapType :: Name

_MapType_keys :: FieldName

_MapType_values :: FieldName

newtype Name

A unique element name

Constructors

Name

Fields

• unName :: String

  A unique element name

Instances

Read Name

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS Name

readList :: ReadS [Name]

readPrec :: ReadPrec Name

readListPrec :: ReadPrec [Name]

Show Name

Defined in Hydra.Core

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Eq Name

Defined in Hydra.Core

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

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

data Named m

A term annotated with a fixed, named type; an instance of a newtype

Constructors

Named

Fields

• namedTypeName :: Name
• namedTerm :: Term m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Named m)

readList :: ReadS [Named m]

readPrec :: ReadPrec (Named m)

readListPrec :: ReadPrec [Named m]

Show m => Show (Named m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Named m -> ShowS

show :: Named m -> String

showList :: [Named m] -> ShowS

Eq m => Eq (Named m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Named m)

Defined in Hydra.Core

Methods

compare :: Named m -> Named m -> Ordering

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

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

(>) :: Named m -> Named m -> Bool

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

max :: Named m -> Named m -> Named m

min :: Named m -> Named m -> Named m

_Named :: Name

_Named_typeName :: FieldName

_Named_term :: FieldName

data OptionalCases m

A case statement for matching optional terms

Constructors

OptionalCases

Fields

• optionalCasesNothing :: Term m

  A term provided if the optional value is nothing

• optionalCasesJust :: Term m

  A function which is applied of the optional value is non-nothing

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (OptionalCases m)

readList :: ReadS [OptionalCases m]

readPrec :: ReadPrec (OptionalCases m)

readListPrec :: ReadPrec [OptionalCases m]

Show m => Show (OptionalCases m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> OptionalCases m -> ShowS

show :: OptionalCases m -> String

showList :: [OptionalCases m] -> ShowS

Eq m => Eq (OptionalCases m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (OptionalCases m)

Defined in Hydra.Core

Methods

compare :: OptionalCases m -> OptionalCases m -> Ordering

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

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

(>) :: OptionalCases m -> OptionalCases m -> Bool

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

max :: OptionalCases m -> OptionalCases m -> OptionalCases m

min :: OptionalCases m -> OptionalCases m -> OptionalCases m

_OptionalCases :: Name

_OptionalCases_nothing :: FieldName

_OptionalCases_just :: FieldName

data Projection

Constructors

Projection

Fields

• projectionTypeName :: Name
• projectionField :: FieldName

Instances

Read Projection

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS Projection

readList :: ReadS [Projection]

readPrec :: ReadPrec Projection

readListPrec :: ReadPrec [Projection]

Show Projection

Defined in Hydra.Core

Methods

showsPrec :: Int -> Projection -> ShowS

show :: Projection -> String

showList :: [Projection] -> ShowS

Eq Projection

Defined in Hydra.Core

Methods

(==) :: Projection -> Projection -> Bool

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

Ord Projection

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

_Projection_typeName :: FieldName

_Projection_field :: FieldName

data Record m

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

Constructors

Record

Fields

• recordTypeName :: Name
• recordFields :: [Field m]

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Record m)

readList :: ReadS [Record m]

readPrec :: ReadPrec (Record m)

readListPrec :: ReadPrec [Record m]

Show m => Show (Record m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Record m -> ShowS

show :: Record m -> String

showList :: [Record m] -> ShowS

Eq m => Eq (Record m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Record m)

Defined in Hydra.Core

Methods

compare :: Record m -> Record m -> Ordering

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

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

(>) :: Record m -> Record m -> Bool

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

max :: Record m -> Record m -> Record m

min :: Record m -> Record m -> Record m

_Record :: Name

_Record_typeName :: FieldName

_Record_fields :: FieldName

data RowType m

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

• rowTypeExtends :: Maybe Name

  Optionally, the name of another row type which this one extends. To the extent that field order is preserved, the inherited fields of the extended type precede those of the extension.

• rowTypeFields :: [FieldType m]

  The fields of this row type, excluding any inherited fields

Instances

Read m => Read (RowType m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (RowType m)

readList :: ReadS [RowType m]

readPrec :: ReadPrec (RowType m)

readListPrec :: ReadPrec [RowType m]

Show m => Show (RowType m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> RowType m -> ShowS

show :: RowType m -> String

showList :: [RowType m] -> ShowS

Eq m => Eq (RowType m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (RowType m)

Defined in Hydra.Core

Methods

compare :: RowType m -> RowType m -> Ordering

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

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

(>) :: RowType m -> RowType m -> Bool

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

max :: RowType m -> RowType m -> RowType m

min :: RowType m -> RowType m -> RowType m

_RowType :: Name

_RowType_typeName :: FieldName

_RowType_extends :: FieldName

_RowType_fields :: FieldName

data Stream m

An infinite stream of terms

Constructors

Stream

Fields

• streamFirst :: Term m
• streamRest :: Stream m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Stream m)

readList :: ReadS [Stream m]

readPrec :: ReadPrec (Stream m)

readListPrec :: ReadPrec [Stream m]

Show m => Show (Stream m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Stream m -> ShowS

show :: Stream m -> String

showList :: [Stream m] -> ShowS

Eq m => Eq (Stream m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Stream m)

Defined in Hydra.Core

Methods

compare :: Stream m -> Stream m -> Ordering

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

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

(>) :: Stream m -> Stream m -> Bool

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

max :: Stream m -> Stream m -> Stream m

min :: Stream m -> Stream m -> Stream m

_Stream :: Name

_Stream_first :: FieldName

_Stream_rest :: FieldName

data Sum m

The unlabeled equivalent of a Union term

Constructors

Sum

Fields

• sumIndex :: Int
• sumSize :: Int
• sumTerm :: Term m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Sum m)

readList :: ReadS [Sum m]

readPrec :: ReadPrec (Sum m)

readListPrec :: ReadPrec [Sum m]

Show m => Show (Sum m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Sum m -> ShowS

show :: Sum m -> String

showList :: [Sum m] -> ShowS

Eq m => Eq (Sum m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Sum m)

Defined in Hydra.Core

Methods

compare :: Sum m -> Sum m -> Ordering

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

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

(>) :: Sum m -> Sum m -> Bool

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

max :: Sum m -> Sum m -> Sum m

min :: Sum m -> Sum m -> Sum m

_Sum :: Name

_Sum_index :: FieldName

_Sum_size :: FieldName

_Sum_term :: FieldName

data Term m

A data term

Constructors

TermAnnotated (Annotated (Term m) m)

A term annotated with metadata

TermApplication (Application m)

A function application

TermElement Name

An element reference

TermFunction (Function m)

A function term

TermLet (Let m)

TermList [Term m]

A list

TermLiteral Literal

A literal value

TermMap (Map (Term m) (Term m))

A map of keys to values

TermNominal (Named m)

TermOptional (Maybe (Term m))

An optional value

TermProduct [Term m]

A tuple

TermRecord (Record m)

A record term

TermSet (Set (Term m))

A set of values

TermStream (Stream m)

An infinite stream of terms

TermSum (Sum m)

A variant tuple

TermUnion (Union m)

A union term

TermVariable Variable

A variable reference

Instances

IsString (Term m)

Defined in Hydra.Impl.Haskell.Dsl.Terms

Methods

fromString :: String -> Term m

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Term m)

readList :: ReadS [Term m]

readPrec :: ReadPrec (Term m)

readListPrec :: ReadPrec [Term m]

Show m => Show (Term m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Term m -> ShowS

show :: Term m -> String

showList :: [Term m] -> ShowS

Eq m => Eq (Term m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Term m)

Defined in Hydra.Core

Methods

compare :: Term m -> Term m -> Ordering

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

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

(>) :: Term m -> Term m -> Bool

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

max :: Term m -> Term m -> Term m

min :: Term m -> Term m -> Term m

_Term :: Name

_Term_annotated :: FieldName

_Term_application :: FieldName

_Term_element :: FieldName

_Term_function :: FieldName

_Term_let :: FieldName

_Term_list :: FieldName

_Term_literal :: FieldName

_Term_map :: FieldName

_Term_nominal :: FieldName

_Term_optional :: FieldName

_Term_product :: FieldName

_Term_record :: FieldName

_Term_set :: FieldName

_Term_stream :: FieldName

_Term_sum :: FieldName

_Term_union :: FieldName

_Term_variable :: FieldName

data Type m

A data type

Constructors

TypeAnnotated (Annotated (Type m) m)

A type annotated with metadata

TypeApplication (ApplicationType m)

TypeElement (Type m)

TypeFunction (FunctionType m)

TypeLambda (LambdaType m)

TypeList (Type m)

TypeLiteral LiteralType

TypeMap (MapType m)

TypeNominal Name

TypeOptional (Type m)

TypeProduct [Type m]

TypeRecord (RowType m)

TypeSet (Type m)

TypeStream (Type m)

TypeSum [Type m]

TypeUnion (RowType m)

TypeVariable VariableType

Instances

IsString (Type m)

Defined in Hydra.Impl.Haskell.Dsl.Types

Methods

fromString :: String -> Type m

Read m => Read (Type m)

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Type m)

readList :: ReadS [Type m]

readPrec :: ReadPrec (Type m)

readListPrec :: ReadPrec [Type m]

Show m => Show (Type m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Type m -> ShowS

show :: Type m -> String

showList :: [Type m] -> ShowS

Eq m => Eq (Type m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Type m)

Defined in Hydra.Core

Methods

compare :: Type m -> Type m -> Ordering

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

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

(>) :: Type m -> Type m -> Bool

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

max :: Type m -> Type m -> Type m

min :: Type m -> Type m -> Type m

_Type :: Name

_Type_annotated :: FieldName

_Type_application :: FieldName

_Type_element :: FieldName

_Type_function :: FieldName

_Type_lambda :: FieldName

_Type_list :: FieldName

_Type_literal :: FieldName

_Type_map :: FieldName

_Type_nominal :: FieldName

_Type_optional :: FieldName

_Type_product :: FieldName

_Type_record :: FieldName

_Type_set :: FieldName

_Type_stream :: FieldName

_Type_sum :: FieldName

_Type_union :: FieldName

_Type_variable :: FieldName

newtype Variable

A symbol which stands in for a term

Constructors

Variable

Fields

• unVariable :: String

  A symbol which stands in for a term

Instances

Read Variable

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS Variable

readList :: ReadS [Variable]

readPrec :: ReadPrec Variable

readListPrec :: ReadPrec [Variable]

Show Variable

Defined in Hydra.Core

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

Eq Variable

Defined in Hydra.Core

Methods

(==) :: Variable -> Variable -> Bool

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

Ord Variable

Defined in Hydra.Core

Methods

compare :: Variable -> Variable -> Ordering

(<) :: Variable -> Variable -> Bool

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

(>) :: Variable -> Variable -> Bool

(>=) :: Variable -> Variable -> Bool

max :: Variable -> Variable -> Variable

min :: Variable -> Variable -> Variable

_Variable :: Name

newtype VariableType

A symbol which stands in for a type

Constructors

VariableType

Fields

• unVariableType :: String

  A symbol which stands in for a type

Instances

Read VariableType

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS VariableType

readList :: ReadS [VariableType]

readPrec :: ReadPrec VariableType

readListPrec :: ReadPrec [VariableType]

Show VariableType

Defined in Hydra.Core

Methods

showsPrec :: Int -> VariableType -> ShowS

show :: VariableType -> String

showList :: [VariableType] -> ShowS

Eq VariableType

Defined in Hydra.Core

Methods

(==) :: VariableType -> VariableType -> Bool

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

Ord VariableType

Defined in Hydra.Core

Methods

compare :: VariableType -> VariableType -> Ordering

(<) :: VariableType -> VariableType -> Bool

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

(>) :: VariableType -> VariableType -> Bool

(>=) :: VariableType -> VariableType -> Bool

max :: VariableType -> VariableType -> VariableType

min :: VariableType -> VariableType -> VariableType

_VariableType :: Name

data Union m

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

Constructors

Union

Fields

• unionTypeName :: Name
• unionField :: Field m

Instances

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

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS (Union m)

readList :: ReadS [Union m]

readPrec :: ReadPrec (Union m)

readListPrec :: ReadPrec [Union m]

Show m => Show (Union m)

Defined in Hydra.Core

Methods

showsPrec :: Int -> Union m -> ShowS

show :: Union m -> String

showList :: [Union m] -> ShowS

Eq m => Eq (Union m)

Defined in Hydra.Core

Methods

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

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

Ord m => Ord (Union m)

Defined in Hydra.Core

Methods

compare :: Union m -> Union m -> Ordering

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

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

(>) :: Union m -> Union m -> Bool

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

max :: Union m -> Union m -> Union m

min :: Union m -> Union m -> Union m

_Union :: Name

_Union_typeName :: FieldName

_Union_field :: FieldName

data UnitType

Constructors

UnitType

Instances

Read UnitType

Defined in Hydra.Core

Methods

readsPrec :: Int -> ReadS UnitType

readList :: ReadS [UnitType]

readPrec :: ReadPrec UnitType

readListPrec :: ReadPrec [UnitType]

Show UnitType

Defined in Hydra.Core

Methods

showsPrec :: Int -> UnitType -> ShowS

show :: UnitType -> String

showList :: [UnitType] -> ShowS

Eq UnitType

Defined in Hydra.Core

Methods

(==) :: UnitType -> UnitType -> Bool

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

Ord UnitType

Defined in Hydra.Core

Methods

compare :: UnitType -> UnitType -> Ordering

(<) :: UnitType -> UnitType -> Bool

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

(>) :: UnitType -> UnitType -> Bool

(>=) :: UnitType -> UnitType -> Bool

max :: UnitType -> UnitType -> UnitType

min :: UnitType -> UnitType -> UnitType

_UnitType :: Name