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

_CoderDirection_encode :: FieldName Source #

_CoderDirection_decode :: FieldName Source #

data Context m Source #

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 Source #

_Context_graph :: FieldName Source #

_Context_functions :: FieldName Source #

_Context_strategy :: FieldName Source #

_Context_annotations :: FieldName Source #

data EvaluationStrategy Source #

Settings which determine how terms are evaluated

Constructors

EvaluationStrategy
Fields evaluationStrategyOpaqueTermVariants :: Set TermVariant

Instances

Instances details

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

_EvaluationStrategy_opaqueTermVariants :: FieldName Source #

newtype Flow s a Source #

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

Constructors

Flow
Fields unFlow :: s -> Trace -> FlowState s a

Instances

Instances details

MonadFail (Flow s) Source #
Instance details Defined in Hydra.Monads Methods fail :: String -> Flow s a #
Applicative (Flow s) Source #
Instance details 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) Source #
Instance details Defined in Hydra.Monads Methods fmap :: (a -> b) -> Flow s a -> Flow s b # (<$) :: a -> Flow s b -> Flow s a #
Monad (Flow s) Source #
Instance details 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 Source #

data FlowState s a Source #

Constructors

FlowState
Fields flowStateValue :: Maybe a flowStateState :: s flowStateTrace :: Trace

Instances

Instances details

(Read a, Read s) => Read (FlowState s a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

_FlowState_value :: FieldName Source #

_FlowState_state :: FieldName Source #

_FlowState_trace :: FieldName Source #

data Language m Source #

Constructors

Language
Fields languageName :: LanguageName languageConstraints :: LanguageConstraints m

_Language :: Name Source #

_Language_name :: FieldName Source #

_Language_constraints :: FieldName Source #

_LanguageConstraints :: Name Source #

_LanguageConstraints_eliminationVariants :: FieldName Source #

_LanguageConstraints_literalVariants :: FieldName Source #

_LanguageConstraints_floatTypes :: FieldName Source #

_LanguageConstraints_functionVariants :: FieldName Source #

_LanguageConstraints_integerTypes :: FieldName Source #

_LanguageConstraints_termVariants :: FieldName Source #

_LanguageConstraints_typeVariants :: FieldName Source #

_LanguageConstraints_types :: FieldName Source #

newtype LanguageName Source #

Constructors

LanguageName
Fields unLanguageName :: String

Instances

Instances details

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

data Meta Source #

A built-in metadata container for terms

Constructors

Meta
Fields metaAnnotations :: Map String (Term Meta) A map of annotation names to annotation values

Instances

Instances details

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

_Meta_annotations :: FieldName Source #

data PrimitiveFunction m Source #

A built-in function

Constructors

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

_PrimitiveFunction :: Name Source #

_PrimitiveFunction_name :: FieldName Source #

_PrimitiveFunction_type :: FieldName Source #

_PrimitiveFunction_implementation :: FieldName Source #

data TermCoder m a Source #

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 Source #

_TermCoder_type :: FieldName Source #

_TermCoder_coder :: FieldName Source #

data Trace Source #

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

Instances details

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

_Trace_stack :: FieldName Source #

_Trace_messages :: FieldName Source #

_Trace_other :: FieldName Source #

data TraversalOrder Source #

Constructors

TraversalOrderPre	Pre-order traversal
TraversalOrderPost	Post-order traversal

Instances

Instances details

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

_TraversalOrder_pre :: FieldName Source #

_TraversalOrder_post :: FieldName Source #