hydra-kernel package
API
Generated with
hydra-kernel/hydra/hydra.decode/hydra.decode.errors

hydra.decode.errors

package hydra.decode.errors

Members list

Value members

Concrete methods

def emptyListError(cx: Graph)(t: Term): Either[DecodingError, Unit]
def error(cx: Graph)(raw: Term): Either[DecodingError, Error]
def notEnoughCasesError(cx: Graph)(t: Term): Either[DecodingError, Unit]
def otherError(cx: Graph)(raw: Term): Either[DecodingError, OtherError]
Generated with