-- SPDX-FileCopyrightText: 2020 Tocqueville Group
--
-- SPDX-License-Identifier: LicenseRef-MIT-TQ

-- | Some simple aliases for Michelson types.

module Morley.Michelson.Untyped.Aliases
  ( Contract
  , View
  , Value
  , ExpandedExtInstr
  ) where

import qualified Morley.Michelson.Untyped.Contract as Untyped
import qualified Morley.Michelson.Untyped.Ext as Untyped
import qualified Morley.Michelson.Untyped.Instr as Untyped
import qualified Morley.Michelson.Untyped.Value as Untyped

type Value = Untyped.Value' Untyped.ExpandedOp
type View = Untyped.View' Untyped.ExpandedOp
type Contract = Untyped.Contract' Untyped.ExpandedOp
type ExpandedExtInstr = Untyped.ExtInstrAbstract Untyped.ExpandedOp