-- SPDX-FileCopyrightText: 2022 Oxhead Alpha -- SPDX-License-Identifier: LicenseRef-MIT-OA {-# OPTIONS_HADDOCK not-home #-} -- | Main implementation of the classifier machinery. module Morley.Michelson.Typed.ClassifiedInstr.Internal.MainImpl ( module Morley.Michelson.Typed.ClassifiedInstr.Internal.MainImpl ) where import Data.Singletons (Sing, SingI(..)) import Morley.Michelson.Typed.ClassifiedInstr.Internal.TH import Morley.Michelson.Typed.ClassifiedInstr.Internal.Types -- | Classified instruction. Has the same shape as typed @Instr@, but its type -- also carries information about the classes of the constructor.