Hydra.Graph

The extension to graphs of Hydra's core type system (hydra/core)

Documentation

data Comparison

An equality judgement: less than, equal to, or greater than

Constructors

ComparisonLessThan

ComparisonEqualTo

ComparisonGreaterThan

Instances

Read Comparison

Defined in Hydra.Graph

Methods

readsPrec :: Int -> ReadS Comparison

readList :: ReadS [Comparison]

readPrec :: ReadPrec Comparison

readListPrec :: ReadPrec [Comparison]

Show Comparison

Defined in Hydra.Graph

Methods

showsPrec :: Int -> Comparison -> ShowS

show :: Comparison -> String

showList :: [Comparison] -> ShowS

Eq Comparison

Defined in Hydra.Graph

Methods

(==) :: Comparison -> Comparison -> Bool

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

Ord Comparison

Defined in Hydra.Graph

Methods

compare :: Comparison -> Comparison -> Ordering

(<) :: Comparison -> Comparison -> Bool

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

(>) :: Comparison -> Comparison -> Bool

(>=) :: Comparison -> Comparison -> Bool

max :: Comparison -> Comparison -> Comparison

min :: Comparison -> Comparison -> Comparison

_Comparison :: Name

_Comparison_lessThan :: Name

_Comparison_equalTo :: Name

_Comparison_greaterThan :: Name

data Graph

A graph, or set of name/term bindings together with parameters (annotations, primitives) and a schema graph

Constructors

Graph

Fields

• graphElements :: Map Name Element

  All of the elements in the graph

• graphEnvironment :: Map Name (Maybe Term)

  The lambda environment of this graph context; it indicates whether a variable is bound by a lambda (Nothing) or a let (Just term)

• graphTypes :: Map Name TypeScheme

  The typing environment of the graph

• graphBody :: Term

  The body of the term which generated this context

• graphPrimitives :: Map Name Primitive

  All supported primitive constants and functions, by name

• graphSchema :: Maybe Graph

  The schema of this graph. If this parameter is omitted (nothing), the graph is its own schema graph.

_Graph :: Name

_Graph_elements :: Name

_Graph_environment :: Name

_Graph_types :: Name

_Graph_body :: Name

_Graph_primitives :: Name

_Graph_schema :: Name

data Element

A graph element, having a name, data term (value), and schema term (type)

Constructors

Element

Fields

• elementName :: Name
• elementData :: Term

Instances

Read Element

Defined in Hydra.Graph

Methods

readsPrec :: Int -> ReadS Element

readList :: ReadS [Element]

readPrec :: ReadPrec Element

readListPrec :: ReadPrec [Element]

Show Element

Defined in Hydra.Graph

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

Eq Element

Defined in Hydra.Graph

Methods

(==) :: Element -> Element -> Bool

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

Ord Element

Defined in Hydra.Graph

Methods

compare :: Element -> Element -> Ordering

(<) :: Element -> Element -> Bool

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

(>) :: Element -> Element -> Bool

(>=) :: Element -> Element -> Bool

max :: Element -> Element -> Element

min :: Element -> Element -> Element

_Element :: Name

_Element_name :: Name

_Element_data :: Name

data Primitive

A built-in function

Constructors

Primitive

Fields

• primitiveName :: Name

  The unique name of the primitive function

• primitiveType :: TypeScheme

  The type signature of the primitive function

• primitiveImplementation :: [Term] -> Flow Graph Term

  A concrete implementation of the primitive function

_Primitive :: Name

_Primitive_name :: Name

_Primitive_type :: Name

_Primitive_implementation :: Name

data TermCoder x

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
• termCoderCoder :: Coder Graph Graph Term x

Instances

IsString (TermCoder Term)

Defined in Hydra.Dsl.Prims

Methods

fromString :: String -> TermCoder Term

_TermCoder :: Name

_TermCoder_type :: Name

_TermCoder_coder :: Name

data TypeClass

Any of a small number of built-in type classes

Constructors

TypeClassEquality

TypeClassOrdering

Instances

Read TypeClass

Defined in Hydra.Graph

Methods

readsPrec :: Int -> ReadS TypeClass

readList :: ReadS [TypeClass]

readPrec :: ReadPrec TypeClass

readListPrec :: ReadPrec [TypeClass]

Show TypeClass

Defined in Hydra.Graph

Methods

showsPrec :: Int -> TypeClass -> ShowS

show :: TypeClass -> String

showList :: [TypeClass] -> ShowS

Eq TypeClass

Defined in Hydra.Graph

Methods

(==) :: TypeClass -> TypeClass -> Bool

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

Ord TypeClass

Defined in Hydra.Graph

Methods

compare :: TypeClass -> TypeClass -> Ordering

(<) :: TypeClass -> TypeClass -> Bool

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

(>) :: TypeClass -> TypeClass -> Bool

(>=) :: TypeClass -> TypeClass -> Bool

max :: TypeClass -> TypeClass -> TypeClass

min :: TypeClass -> TypeClass -> TypeClass

_TypeClass :: Name

_TypeClass_equality :: Name

_TypeClass_ordering :: Name