Hydra.Minimal

A minimal, standalone Hydra kernel which allows external tools (like @wisnesky's Algorithm W implementation) to take a lightweight dependency on Hydra types or functions, without requiring compilation of Hydra proper. There are two versions of this module: * External: has all of the necessary Hydra definitions in one file * Internal: just exports the appropriate symbols from the actual Hydra modules

Documentation

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

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

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

data IntegerValue

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

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

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

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

newtype Name

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

Constructors

Name

Fields

• unName :: String

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

floatValueType :: FloatValue -> FloatType

Find the float type for a given floating-point value

integerValueType :: IntegerValue -> IntegerType

Find the integer type for a given integer value

int32 :: Int -> Literal

literalType :: Literal -> LiteralType

Find the literal type for a given literal value

string :: String -> Literal