```
public interface Core
```
Term decoders for hydra.core

Method Summary

Static Methods
Modifier and Type	Method	Description
`static Either<DecodingError,AnnotatedTerm>`	`annotatedTerm(Graph cx, Term raw)`	Decoder for hydra.core.AnnotatedTerm
`static Either<DecodingError,AnnotatedType>`	`annotatedType(Graph cx, Term raw)`	Decoder for hydra.core.AnnotatedType
`static Either<DecodingError,Application>`	`application(Graph cx, Term raw)`	Decoder for hydra.core.Application
`static Either<DecodingError,ApplicationType>`	`applicationType(Graph cx, Term raw)`	Decoder for hydra.core.ApplicationType
`static Either<DecodingError,Binding>`	`binding(Graph cx, Term raw)`	Decoder for hydra.core.Binding
`static Either<DecodingError,CaseAlternative>`	`caseAlternative(Graph cx, Term raw)`	Decoder for hydra.core.CaseAlternative
`static Either<DecodingError,CaseStatement>`	`caseStatement(Graph cx, Term raw)`	Decoder for hydra.core.CaseStatement
`static Either<DecodingError,EitherType>`	`eitherType(Graph cx, Term raw)`	Decoder for hydra.core.EitherType
`static Either<DecodingError,Field>`	`field(Graph cx, Term raw)`	Decoder for hydra.core.Field
`static Either<DecodingError,FieldType>`	`fieldType(Graph cx, Term raw)`	Decoder for hydra.core.FieldType
`static Either<DecodingError,FloatType>`	`floatType(Graph cx, Term raw)`	Decoder for hydra.core.FloatType
`static Either<DecodingError,FloatValue>`	`floatValue(Graph cx, Term raw)`	Decoder for hydra.core.FloatValue
`static Either<DecodingError,ForallType>`	`forallType(Graph cx, Term raw)`	Decoder for hydra.core.ForallType
`static Either<DecodingError,FunctionType>`	`functionType(Graph cx, Term raw)`	Decoder for hydra.core.FunctionType
`static Either<DecodingError,Injection>`	`injection(Graph cx, Term raw)`	Decoder for hydra.core.Injection
`static Either<DecodingError,IntegerType>`	`integerType(Graph cx, Term raw)`	Decoder for hydra.core.IntegerType
`static Either<DecodingError,IntegerValue>`	`integerValue(Graph cx, Term raw)`	Decoder for hydra.core.IntegerValue
`static Either<DecodingError,Lambda>`	`lambda(Graph cx, Term raw)`	Decoder for hydra.core.Lambda
`static Either<DecodingError,Let>`	`let(Graph cx, Term raw)`	Decoder for hydra.core.Let
`static Either<DecodingError,Literal>`	`literal(Graph cx, Term raw)`	Decoder for hydra.core.Literal
`static Either<DecodingError,LiteralType>`	`literalType(Graph cx, Term raw)`	Decoder for hydra.core.LiteralType
`static Either<DecodingError,MapType>`	`mapType(Graph cx, Term raw)`	Decoder for hydra.core.MapType
`static Either<DecodingError,Name>`	`name(Graph cx, Term raw)`	Decoder for hydra.core.Name
`static Either<DecodingError,PairType>`	`pairType(Graph cx, Term raw)`	Decoder for hydra.core.PairType
`static Either<DecodingError,Projection>`	`projection(Graph cx, Term raw)`	Decoder for hydra.core.Projection
`static Either<DecodingError,Record>`	`record(Graph cx, Term raw)`	Decoder for hydra.core.Record
`static Either<DecodingError,Term>`	`term(Graph cx, Term raw)`	Decoder for hydra.core.Term
`static Either<DecodingError,Type>`	`type(Graph cx, Term raw)`	Decoder for hydra.core.Type
`static Either<DecodingError,TypeApplicationTerm>`	`typeApplicationTerm(Graph cx, Term raw)`	Decoder for hydra.core.TypeApplicationTerm
`static Either<DecodingError,TypeClassConstraint>`	`typeClassConstraint(Graph cx, Term raw)`	Decoder for hydra.core.TypeClassConstraint
`static Either<DecodingError,TypeLambda>`	`typeLambda(Graph cx, Term raw)`	Decoder for hydra.core.TypeLambda
`static Either<DecodingError,TypeScheme>`	`typeScheme(Graph cx, Term raw)`	Decoder for hydra.core.TypeScheme
`static Either<DecodingError,TypeVariableConstraints>`	`typeVariableConstraints(Graph cx, Term raw)`	Decoder for hydra.core.TypeVariableConstraints
`static Either<DecodingError,WrappedTerm>`	`wrappedTerm(Graph cx, Term raw)`	Decoder for hydra.core.WrappedTerm

Method Detail

annotatedTerm

static Either<DecodingError,AnnotatedTerm> annotatedTerm(Graph cx,
                                                               Term raw)

Decoder for hydra.core.AnnotatedTerm

annotatedType

static Either<DecodingError,AnnotatedType> annotatedType(Graph cx,
                                                               Term raw)

Decoder for hydra.core.AnnotatedType

application

static Either<DecodingError,Application> application(Graph cx,
                                                           Term raw)

Decoder for hydra.core.Application

applicationType

static Either<DecodingError,ApplicationType> applicationType(Graph cx,
                                                                   Term raw)

Decoder for hydra.core.ApplicationType

binding

static Either<DecodingError,Binding> binding(Graph cx,
                                                   Term raw)

Decoder for hydra.core.Binding

caseAlternative

static Either<DecodingError,CaseAlternative> caseAlternative(Graph cx,
                                                                   Term raw)

Decoder for hydra.core.CaseAlternative

caseStatement

static Either<DecodingError,CaseStatement> caseStatement(Graph cx,
                                                               Term raw)

Decoder for hydra.core.CaseStatement

eitherType

static Either<DecodingError,EitherType> eitherType(Graph cx,
                                                         Term raw)

Decoder for hydra.core.EitherType

field

static Either<DecodingError,Field> field(Graph cx,
                                               Term raw)

Decoder for hydra.core.Field

fieldType

static Either<DecodingError,FieldType> fieldType(Graph cx,
                                                       Term raw)

Decoder for hydra.core.FieldType

floatType

static Either<DecodingError,FloatType> floatType(Graph cx,
                                                       Term raw)

Decoder for hydra.core.FloatType

floatValue

static Either<DecodingError,FloatValue> floatValue(Graph cx,
                                                         Term raw)

Decoder for hydra.core.FloatValue

forallType

static Either<DecodingError,ForallType> forallType(Graph cx,
                                                         Term raw)

Decoder for hydra.core.ForallType

functionType

static Either<DecodingError,FunctionType> functionType(Graph cx,
                                                             Term raw)

Decoder for hydra.core.FunctionType

injection

static Either<DecodingError,Injection> injection(Graph cx,
                                                       Term raw)

Decoder for hydra.core.Injection

integerType

static Either<DecodingError,IntegerType> integerType(Graph cx,
                                                           Term raw)

Decoder for hydra.core.IntegerType

integerValue

static Either<DecodingError,IntegerValue> integerValue(Graph cx,
                                                             Term raw)

Decoder for hydra.core.IntegerValue

lambda

static Either<DecodingError,Lambda> lambda(Graph cx,
                                                 Term raw)

Decoder for hydra.core.Lambda

let

static Either<DecodingError,Let> let(Graph cx,
                                           Term raw)

Decoder for hydra.core.Let

literal

static Either<DecodingError,Literal> literal(Graph cx,
                                                   Term raw)

Decoder for hydra.core.Literal

literalType

static Either<DecodingError,LiteralType> literalType(Graph cx,
                                                           Term raw)

Decoder for hydra.core.LiteralType

mapType

static Either<DecodingError,MapType> mapType(Graph cx,
                                                   Term raw)

Decoder for hydra.core.MapType

name

static Either<DecodingError,Name> name(Graph cx,
                                             Term raw)

Decoder for hydra.core.Name

pairType

static Either<DecodingError,PairType> pairType(Graph cx,
                                                     Term raw)

Decoder for hydra.core.PairType

projection

static Either<DecodingError,Projection> projection(Graph cx,
                                                         Term raw)

Decoder for hydra.core.Projection

record

static Either<DecodingError,Record> record(Graph cx,
                                                 Term raw)

Decoder for hydra.core.Record

term

static Either<DecodingError,Term> term(Graph cx,
                                             Term raw)

Decoder for hydra.core.Term

type

static Either<DecodingError,Type> type(Graph cx,
                                             Term raw)

Decoder for hydra.core.Type

typeApplicationTerm

static Either<DecodingError,TypeApplicationTerm> typeApplicationTerm(Graph cx,
                                                                           Term raw)

Decoder for hydra.core.TypeApplicationTerm

typeClassConstraint

static Either<DecodingError,TypeClassConstraint> typeClassConstraint(Graph cx,
                                                                           Term raw)

Decoder for hydra.core.TypeClassConstraint

typeLambda

static Either<DecodingError,TypeLambda> typeLambda(Graph cx,
                                                         Term raw)

Decoder for hydra.core.TypeLambda

typeScheme

static Either<DecodingError,TypeScheme> typeScheme(Graph cx,
                                                         Term raw)

Decoder for hydra.core.TypeScheme

typeVariableConstraints

static Either<DecodingError,TypeVariableConstraints> typeVariableConstraints(Graph cx,
                                                                                   Term raw)

Decoder for hydra.core.TypeVariableConstraints

wrappedTerm

static Either<DecodingError,WrappedTerm> wrappedTerm(Graph cx,
                                                           Term raw)

Decoder for hydra.core.WrappedTerm

Interface Core