scalaz/scalaz.example.transformers.typecheck/TypeCheckerWithExplicitTypes_MonadTransformers

TypeCheckerWithExplicitTypes_MonadTransformers

object TypeCheckerWithExplicitTypes_MonadTransformers
class Object
trait Matchable
class Any

Type members

Types

type V[+T] = String \/ T

Value members

Concrete methods

def compare(t1: Type, t2: Type, resultType: Type, errorMsg: String): String \/ Type
def find(s: String, env: TypeEnv): String \/ Type
def liftK[T, U](e: String \/ U): Kleisli[V, T, U]
def success(t: Type): String \/ Type
def typeCheck(expr: Exp): Kleisli[V, TypeEnv, Type]
def typeError(msg: String): String \/ Type