module Morley.Michelson.Typed.Scope
(
ConstantScope
, DupableScope
, StorageScope
, PackedValScope
, ParameterScope
, UntypedValScope
, UnpackedValScope
, ViewableScope
, ComparabilityScope
, IsDupableScope
, BadTypeForScope (..)
, CheckScope (..)
, WithDeMorganScope (..)
, deMorganForbidT
, Comparable
, comparableImplies
, WellTyped
, NotWellTyped (..)
, ContainsT
, IsComparable
, ForbidT
, ForbidOp
, ForbidContract
, ForbidTicket
, ForbidBigMap
, ForbidNestedBigMaps
, ForbidNonComparable
, TPresence(..
, OpPresent, OpAbsent
, ContractPresent, ContractAbsent
, TicketPresent, TicketAbsent
, BigMapPresent, BigMapAbsent
, NestedBigMapsPresent, NestedBigMapsAbsent
, SaplingStatePresent, SaplingStateAbsent
)
, TPredicateSym(..)
, SingTPredicateSym(..)
, checkTPresence
, tPresence
, tAbsence
, Comparability(..)
, checkComparability
, comparabilityPresence
, getWTP
, getWTP'
, withDict
, SingI (..)
, (:-)(..)
, OpPresence
, ContractPresence
, TicketPresence
, BigMapPresence
, NestedBigMapsPresence
, ProperParameterBetterErrors
, ProperStorageBetterErrors
, ProperConstantBetterErrors
, ProperDupableBetterErrors
, ProperPackedValBetterErrors
, ProperUnpackedValBetterErrors
, ProperUntypedValBetterErrors
, ProperViewableBetterErrors
, ProperNonComparableValBetterErrors
, opAbsense
, contractTypeAbsense
, bigMapAbsense
, nestedBigMapsAbsense
, checkOpPresence
, checkContractTypePresence
, checkTicketPresence
, checkBigMapPresence
, checkNestedBigMapsPresence
, HasNoBigMap
, HasNoNestedBigMaps
, HasNoOp
, HasNoContract
, HasNoTicket
, ContainsBigMap
, ContainsContract
, ContainsNestedBigMaps
, ContainsOp
, ContainsTicket
, comparabilityImpliesNoNestedBigMaps
, comparabilityImpliesNoOp
, getComparableProofS
) where
import Data.Constraint (withDict, (:-)(..))
import Data.Singletons (SingI(..))
import Morley.Michelson.Typed.Scope.Internal.CheckScope
import Morley.Michelson.Typed.Scope.Internal.Comparable
import Morley.Michelson.Typed.Scope.Internal.Deprecated
import Morley.Michelson.Typed.Scope.Internal.ForbidT
import Morley.Michelson.Typed.Scope.Internal.Presence
import Morley.Michelson.Typed.Scope.Internal.Scopes
import Morley.Michelson.Typed.Scope.Internal.WellTyped
import Morley.Michelson.Typed.Scope.Internal.WithDeMorganScope