Hydra.Coders

Abstractions for paired transformations between languages

Documentation

data AdapterContext

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

Constructors

AdapterContext

Fields

• adapterContextGraph :: Graph
• adapterContextLanguage :: Language
• adapterContextAdapters :: Map Name (Adapter AdapterContext AdapterContext Type Type Term Term)

_AdapterContext :: Name

_AdapterContext_graph :: Name

_AdapterContext_language :: Name

_AdapterContext_adapters :: Name

data CoderDirection

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

Constructors

CoderDirectionEncode

CoderDirectionDecode

Instances

Read CoderDirection

Defined in Hydra.Coders

Methods

readsPrec :: Int -> ReadS CoderDirection

readList :: ReadS [CoderDirection]

readPrec :: ReadPrec CoderDirection

readListPrec :: ReadPrec [CoderDirection]

Show CoderDirection

Defined in Hydra.Coders

Methods

showsPrec :: Int -> CoderDirection -> ShowS

show :: CoderDirection -> String

showList :: [CoderDirection] -> ShowS

Eq CoderDirection

Defined in Hydra.Coders

Methods

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

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

Ord CoderDirection

Defined in Hydra.Coders

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 :: Name

_CoderDirection_decode :: Name

data Language

A named language together with language-specific constraints

Constructors

Language

Fields

• languageName :: LanguageName
• languageConstraints :: LanguageConstraints

_Language :: Name

_Language_name :: Name

_Language_constraints :: Name

data LanguageConstraints

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

Constructors

LanguageConstraints

Fields

• languageConstraintsEliminationVariants :: Set EliminationVariant

  All supported elimination variants

• languageConstraintsLiteralVariants :: Set LiteralVariant

  All supported literal variants

• languageConstraintsFloatTypes :: Set FloatType

  All supported float types

• languageConstraintsFunctionVariants :: Set FunctionVariant

  All supported function variants

• languageConstraintsIntegerTypes :: Set IntegerType

  All supported integer types

• languageConstraintsTermVariants :: Set TermVariant

  All supported term variants

• languageConstraintsTypeVariants :: Set TypeVariant

  All supported type variants

• languageConstraintsTypes :: Type -> Bool

  A logical set of types, as a predicate which tests a type for inclusion

_LanguageConstraints :: Name

_LanguageConstraints_eliminationVariants :: Name

_LanguageConstraints_literalVariants :: Name

_LanguageConstraints_floatTypes :: Name

_LanguageConstraints_functionVariants :: Name

_LanguageConstraints_integerTypes :: Name

_LanguageConstraints_termVariants :: Name

_LanguageConstraints_typeVariants :: Name

_LanguageConstraints_types :: Name

newtype LanguageName

The unique name of a language

Constructors

LanguageName

Fields

• unLanguageName :: String

Instances

Read LanguageName

Defined in Hydra.Coders

Methods

readsPrec :: Int -> ReadS LanguageName

readList :: ReadS [LanguageName]

readPrec :: ReadPrec LanguageName

readListPrec :: ReadPrec [LanguageName]

Show LanguageName

Defined in Hydra.Coders

Methods

showsPrec :: Int -> LanguageName -> ShowS

show :: LanguageName -> String

showList :: [LanguageName] -> ShowS

Eq LanguageName

Defined in Hydra.Coders

Methods

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

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

Ord LanguageName

Defined in Hydra.Coders

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 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.Coders

Methods

readsPrec :: Int -> ReadS TraversalOrder

readList :: ReadS [TraversalOrder]

readPrec :: ReadPrec TraversalOrder

readListPrec :: ReadPrec [TraversalOrder]

Show TraversalOrder

Defined in Hydra.Coders

Methods

showsPrec :: Int -> TraversalOrder -> ShowS

show :: TraversalOrder -> String

showList :: [TraversalOrder] -> ShowS

Eq TraversalOrder

Defined in Hydra.Coders

Methods

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

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

Ord TraversalOrder

Defined in Hydra.Coders

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 :: Name

_TraversalOrder_post :: Name