Hydra.Compute

Abstractions for evaluation and transformations

Documentation

data Adapter s1 s2 t1 t2 v1 v2

A two-level bidirectional encoder which adapts types to types and terms to terms

Constructors

Adapter

Fields

• adapterIsLossy :: Bool
• adapterSource :: t1
• adapterTarget :: t2
• adapterCoder :: Coder s1 s2 v1 v2

_Adapter :: Name

_Adapter_isLossy :: FieldName

_Adapter_source :: FieldName

_Adapter_target :: FieldName

_Adapter_coder :: FieldName

data AdapterContext m

An evaluation context together with a source language and a target language

Constructors

AdapterContext

Fields

• adapterContextEvaluation :: Context m
• adapterContextSource :: Language m
• adapterContextTarget :: Language m

_AdapterContext :: Name

_AdapterContext_evaluation :: FieldName

_AdapterContext_source :: FieldName

_AdapterContext_target :: FieldName

data AnnotationClass m

A typeclass-like construct providing common functions for working with annotations

Constructors

AnnotationClass

Fields

• annotationClassDefault :: m
• annotationClassEqual :: m -> m -> Bool
• annotationClassCompare :: m -> m -> Comparison
• annotationClassShow :: m -> String
• annotationClassRead :: String -> Maybe m
• annotationClassTermMeta :: Term m -> m
• annotationClassTypeMeta :: Type m -> m
• annotationClassTermDescription :: Term m -> Flow (Context m) (Maybe String)
• annotationClassTypeDescription :: Type m -> Flow (Context m) (Maybe String)
• annotationClassTermType :: Term m -> Flow (Context m) (Maybe (Type m))
• annotationClassSetTermDescription :: Context m -> Maybe String -> Term m -> Term m
• annotationClassSetTermType :: Context m -> Maybe (Type m) -> Term m -> Term m
• annotationClassTypeOf :: m -> Flow (Context m) (Maybe (Type m))
• annotationClassSetTypeOf :: Maybe (Type m) -> m -> m

_AnnotationClass :: Name

_AnnotationClass_default :: FieldName

_AnnotationClass_equal :: FieldName

_AnnotationClass_compare :: FieldName

_AnnotationClass_show :: FieldName

_AnnotationClass_read :: FieldName

_AnnotationClass_termMeta :: FieldName

_AnnotationClass_typeMeta :: FieldName

_AnnotationClass_termDescription :: FieldName

_AnnotationClass_typeDescription :: FieldName

_AnnotationClass_termType :: FieldName

_AnnotationClass_setTermDescription :: FieldName

_AnnotationClass_setTermType :: FieldName

_AnnotationClass_typeOf :: FieldName

_AnnotationClass_setTypeOf :: FieldName

data Coder s1 s2 v1 v2

An encoder and decoder; a bidirectional flow between two types

Constructors

Coder

Fields

• coderEncode :: v1 -> Flow s1 v2
• coderDecode :: v2 -> Flow s2 v1

_Coder :: Name

_Coder_encode :: FieldName

_Coder_decode :: FieldName

data CoderDirection

Indicates either the out or the 'in' direction of a coder

Constructors

CoderDirectionEncode

CoderDirectionDecode

Instances

Read CoderDirection

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS CoderDirection

readList :: ReadS [CoderDirection]

readPrec :: ReadPrec CoderDirection

readListPrec :: ReadPrec [CoderDirection]

Show CoderDirection

Defined in Hydra.Compute

Methods

showsPrec :: Int -> CoderDirection -> ShowS

show :: CoderDirection -> String

showList :: [CoderDirection] -> ShowS

Eq CoderDirection

Defined in Hydra.Compute

Methods

(==) :: CoderDirection -> CoderDirection -> Bool

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

Ord CoderDirection

Defined in Hydra.Compute

Methods

compare :: CoderDirection -> CoderDirection -> Ordering

(<) :: CoderDirection -> CoderDirection -> Bool

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

(>) :: CoderDirection -> CoderDirection -> Bool

(>=) :: CoderDirection -> CoderDirection -> Bool

max :: CoderDirection -> CoderDirection -> CoderDirection

min :: CoderDirection -> CoderDirection -> CoderDirection

_CoderDirection :: Name

_CoderDirection_encode :: FieldName

_CoderDirection_decode :: FieldName

data Context m

An environment containing a graph together with primitive functions and other necessary components for evaluation

Constructors

Context

Fields

• contextGraph :: Graph m
• contextFunctions :: Map Name (PrimitiveFunction m)
• contextStrategy :: EvaluationStrategy
• contextAnnotations :: AnnotationClass m

_Context :: Name

_Context_graph :: FieldName

_Context_functions :: FieldName

_Context_strategy :: FieldName

_Context_annotations :: FieldName

data EvaluationStrategy

Settings which determine how terms are evaluated

Constructors

EvaluationStrategy

Fields

• evaluationStrategyOpaqueTermVariants :: Set TermVariant

Instances

Read EvaluationStrategy

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS EvaluationStrategy

readList :: ReadS [EvaluationStrategy]

readPrec :: ReadPrec EvaluationStrategy

readListPrec :: ReadPrec [EvaluationStrategy]

Show EvaluationStrategy

Defined in Hydra.Compute

Methods

showsPrec :: Int -> EvaluationStrategy -> ShowS

show :: EvaluationStrategy -> String

showList :: [EvaluationStrategy] -> ShowS

Eq EvaluationStrategy

Defined in Hydra.Compute

Methods

(==) :: EvaluationStrategy -> EvaluationStrategy -> Bool

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

Ord EvaluationStrategy

Defined in Hydra.Compute

Methods

compare :: EvaluationStrategy -> EvaluationStrategy -> Ordering

(<) :: EvaluationStrategy -> EvaluationStrategy -> Bool

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

(>) :: EvaluationStrategy -> EvaluationStrategy -> Bool

(>=) :: EvaluationStrategy -> EvaluationStrategy -> Bool

max :: EvaluationStrategy -> EvaluationStrategy -> EvaluationStrategy

min :: EvaluationStrategy -> EvaluationStrategy -> EvaluationStrategy

_EvaluationStrategy :: Name

_EvaluationStrategy_opaqueTermVariants :: FieldName

newtype Flow s a

A variant of the State monad with built-in logging and error handling

Constructors

Flow

Fields

• unFlow :: s -> Trace -> FlowState s a

Instances

MonadFail (Flow s)

Defined in Hydra.Monads

Methods

fail :: String -> Flow s a

Applicative (Flow s)

Defined in Hydra.Monads

Methods

pure :: a -> Flow s a

(<*>) :: Flow s (a -> b) -> Flow s a -> Flow s b

liftA2 :: (a -> b -> c) -> Flow s a -> Flow s b -> Flow s c

(*>) :: Flow s a -> Flow s b -> Flow s b

(<*) :: Flow s a -> Flow s b -> Flow s a

Functor (Flow s)

Defined in Hydra.Monads

Methods

fmap :: (a -> b) -> Flow s a -> Flow s b

(<$) :: a -> Flow s b -> Flow s a

Monad (Flow s)

Defined in Hydra.Monads

Methods

(>>=) :: Flow s a -> (a -> Flow s b) -> Flow s b

(>>) :: Flow s a -> Flow s b -> Flow s b

return :: a -> Flow s a

_Flow :: Name

data FlowState s a

The result of evaluating a Flow

Constructors

FlowState

Fields

• flowStateValue :: Maybe a
• flowStateState :: s
• flowStateTrace :: Trace

Instances

(Read a, Read s) => Read (FlowState s a)

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS (FlowState s a)

readList :: ReadS [FlowState s a]

readPrec :: ReadPrec (FlowState s a)

readListPrec :: ReadPrec [FlowState s a]

(Show a, Show s) => Show (FlowState s a)

Defined in Hydra.Compute

Methods

showsPrec :: Int -> FlowState s a -> ShowS

show :: FlowState s a -> String

showList :: [FlowState s a] -> ShowS

(Eq a, Eq s) => Eq (FlowState s a)

Defined in Hydra.Compute

Methods

(==) :: FlowState s a -> FlowState s a -> Bool

(/=) :: FlowState s a -> FlowState s a -> Bool

(Ord a, Ord s) => Ord (FlowState s a)

Defined in Hydra.Compute

Methods

compare :: FlowState s a -> FlowState s a -> Ordering

(<) :: FlowState s a -> FlowState s a -> Bool

(<=) :: FlowState s a -> FlowState s a -> Bool

(>) :: FlowState s a -> FlowState s a -> Bool

(>=) :: FlowState s a -> FlowState s a -> Bool

max :: FlowState s a -> FlowState s a -> FlowState s a

min :: FlowState s a -> FlowState s a -> FlowState s a

_FlowState :: Name

_FlowState_value :: FieldName

_FlowState_state :: FieldName

_FlowState_trace :: FieldName

data Language m

A named language together with language-specific constraints

Constructors

Language

Fields

• languageName :: LanguageName
• languageConstraints :: LanguageConstraints m

_Language :: Name

_Language_name :: FieldName

_Language_constraints :: FieldName

data LanguageConstraints m

A set of constraints on valid type and term expressions, characterizing a language

Constructors

LanguageConstraints

Fields

• languageConstraintsEliminationVariants :: Set EliminationVariant
• languageConstraintsLiteralVariants :: Set LiteralVariant
• languageConstraintsFloatTypes :: Set FloatType
• languageConstraintsFunctionVariants :: Set FunctionVariant
• languageConstraintsIntegerTypes :: Set IntegerType
• languageConstraintsTermVariants :: Set TermVariant
• languageConstraintsTypeVariants :: Set TypeVariant
• languageConstraintsTypes :: Type m -> Bool

_LanguageConstraints :: Name

_LanguageConstraints_eliminationVariants :: FieldName

_LanguageConstraints_literalVariants :: FieldName

_LanguageConstraints_floatTypes :: FieldName

_LanguageConstraints_functionVariants :: FieldName

_LanguageConstraints_integerTypes :: FieldName

_LanguageConstraints_termVariants :: FieldName

_LanguageConstraints_typeVariants :: FieldName

_LanguageConstraints_types :: FieldName

newtype LanguageName

The unique name of a language

Constructors

LanguageName

Fields

• unLanguageName :: String

  The unique name of a language

Instances

Read LanguageName

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS LanguageName

readList :: ReadS [LanguageName]

readPrec :: ReadPrec LanguageName

readListPrec :: ReadPrec [LanguageName]

Show LanguageName

Defined in Hydra.Compute

Methods

showsPrec :: Int -> LanguageName -> ShowS

show :: LanguageName -> String

showList :: [LanguageName] -> ShowS

Eq LanguageName

Defined in Hydra.Compute

Methods

(==) :: LanguageName -> LanguageName -> Bool

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

Ord LanguageName

Defined in Hydra.Compute

Methods

compare :: LanguageName -> LanguageName -> Ordering

(<) :: LanguageName -> LanguageName -> Bool

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

(>) :: LanguageName -> LanguageName -> Bool

(>=) :: LanguageName -> LanguageName -> Bool

max :: LanguageName -> LanguageName -> LanguageName

min :: LanguageName -> LanguageName -> LanguageName

_LanguageName :: Name

data Meta

A built-in metadata container for terms

Constructors

Meta

Fields

• metaAnnotations :: Map String (Term Meta)

  A map of annotation names to annotation values

Instances

Read Meta

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS Meta

readList :: ReadS [Meta]

readPrec :: ReadPrec Meta

readListPrec :: ReadPrec [Meta]

Show Meta

Defined in Hydra.Compute

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

Eq Meta

Defined in Hydra.Compute

Methods

(==) :: Meta -> Meta -> Bool

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

Ord Meta

Defined in Hydra.Compute

Methods

compare :: Meta -> Meta -> Ordering

(<) :: Meta -> Meta -> Bool

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

(>) :: Meta -> Meta -> Bool

(>=) :: Meta -> Meta -> Bool

max :: Meta -> Meta -> Meta

min :: Meta -> Meta -> Meta

_Meta :: Name

_Meta_annotations :: FieldName

data PrimitiveFunction m

A built-in function

Constructors

PrimitiveFunction

Fields

• primitiveFunctionName :: Name
• primitiveFunctionType :: FunctionType m
• primitiveFunctionImplementation :: [Term m] -> Flow (Context m) (Term m)

_PrimitiveFunction :: Name

_PrimitiveFunction_name :: FieldName

_PrimitiveFunction_type :: FieldName

_PrimitiveFunction_implementation :: FieldName

data TermCoder m a

A type together with a coder for mapping terms into arguments for primitive functions, and mapping computed results into terms

Constructors

TermCoder

Fields

• termCoderType :: Type m
• termCoderCoder :: Coder (Context m) (Context m) (Term m) a

_TermCoder :: Name

_TermCoder_type :: FieldName

_TermCoder_coder :: FieldName

data Trace

A container for logging and error information

Constructors

Trace

Fields

• traceStack :: [String]
• traceMessages :: [String]
• traceOther :: Map String (Term Meta)

  A map of string keys to arbitrary terms as values, for application-specific use

Instances

Read Trace

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS Trace

readList :: ReadS [Trace]

readPrec :: ReadPrec Trace

readListPrec :: ReadPrec [Trace]

Show Trace

Defined in Hydra.Compute

Methods

showsPrec :: Int -> Trace -> ShowS

show :: Trace -> String

showList :: [Trace] -> ShowS

Eq Trace

Defined in Hydra.Compute

Methods

(==) :: Trace -> Trace -> Bool

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

Ord Trace

Defined in Hydra.Compute

Methods

compare :: Trace -> Trace -> Ordering

(<) :: Trace -> Trace -> Bool

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

(>) :: Trace -> Trace -> Bool

(>=) :: Trace -> Trace -> Bool

max :: Trace -> Trace -> Trace

min :: Trace -> Trace -> Trace

_Trace :: Name

_Trace_stack :: FieldName

_Trace_messages :: FieldName

_Trace_other :: FieldName

data TraversalOrder

Specifies either a pre-order or post-order traversal

Constructors

TraversalOrderPre

Pre-order traversal

TraversalOrderPost

Post-order traversal

Instances

Read TraversalOrder

Defined in Hydra.Compute

Methods

readsPrec :: Int -> ReadS TraversalOrder

readList :: ReadS [TraversalOrder]

readPrec :: ReadPrec TraversalOrder

readListPrec :: ReadPrec [TraversalOrder]

Show TraversalOrder

Defined in Hydra.Compute

Methods

showsPrec :: Int -> TraversalOrder -> ShowS

show :: TraversalOrder -> String

showList :: [TraversalOrder] -> ShowS

Eq TraversalOrder

Defined in Hydra.Compute

Methods

(==) :: TraversalOrder -> TraversalOrder -> Bool

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

Ord TraversalOrder

Defined in Hydra.Compute

Methods

compare :: TraversalOrder -> TraversalOrder -> Ordering

(<) :: TraversalOrder -> TraversalOrder -> Bool

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

(>) :: TraversalOrder -> TraversalOrder -> Bool

(>=) :: TraversalOrder -> TraversalOrder -> Bool

max :: TraversalOrder -> TraversalOrder -> TraversalOrder

min :: TraversalOrder -> TraversalOrder -> TraversalOrder

_TraversalOrder :: Name

_TraversalOrder_pre :: FieldName

_TraversalOrder_post :: FieldName