morley-0.6.0: src/Michelson/TypeCheck.hs

module Michelson.TypeCheck
  ( typeCheckContract
  , typeCheckTopLevelType
  , typeVerifyTopLevelType
  , typeCheckValue
  , typeVerifyValue
  , typeCheckList
  , typeCheckCValue
  , typeCheckExt
  , module E
  , module M
  , module T
  , eqType
  , matchTypes
  ) where

import Michelson.TypeCheck.Error as E
import Michelson.TypeCheck.Ext
import Michelson.TypeCheck.Instr
import Michelson.TypeCheck.TypeCheck as T
import Michelson.TypeCheck.Types as M
import Michelson.TypeCheck.Value

import Michelson.TypeCheck.Helpers (eqType, matchTypes)