{-# OPTIONS_GHC -Wno-unused-top-binds #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# OPTIONS_GHC -Wno-redundant-constraints #-}
module Morley.Michelson.Typed.Sing
( SingT (..)
, castSingE
, castM
, eqP
, requireEq
) where
import Data.Singletons (SingI(..), demote, fromSing)
import Data.Type.Equality ((:~:)(..))
import Fmt ((+|), (|+))
import Morley.Michelson.Printer.Util (RenderDoc(..))
import Morley.Michelson.Typed.T (T(..))
import Morley.Util.MismatchError
import Morley.Util.Sing (SingI1(..), castSing, eqI, genSingletonsType)
import Morley.Util.TH (deriveGADTNFData)
$