Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.Coverage.Analysis.Types

Contents

Domain definitions

Synopsis

data SnocList a
- = Nil
- | (SnocList a) :> a
zipWithSnoc :: (a -> b -> c) -> SnocList a -> SnocList b -> SnocList c
data DCon = DCon [DTyp]
data DDat = DDat Bool NamedTyDeBruijn Kin [NamedTyDeBruijn] [DCon]
data TyCtxEntry
- = NamedTyDeBruijn ::: Kin
- | TyCtxRecDat (SnocList DDat)
- | TyCtxDat DDat
type TyCtx = SnocList TyCtxEntry
type Subst a = SnocList a
data Dom
- = DTop {
  - ty :: DTyp
  - depth :: Int
  - _locations :: Set CoverageAnnotation
  }
- | DError
- | DSusp {
  - _locations :: Set CoverageAnnotation
  - inner :: Dom
  }
- | DTySusp {
  - suspName :: NamedTyDeBruijn
  - kind :: Kin
  - _locations :: Set CoverageAnnotation
  - inner :: Dom
  }
- | DIf {
  - argTy :: DTyp
  - _locations :: Set CoverageAnnotation
  }
- | DTrace {
  - argTy :: DTyp
  - _locations :: Set CoverageAnnotation
  }
- | DLoc {
  - location :: CoverageAnnotation
  }
- | DLam {
  - lamName :: NamedDeBruijn
  - argTy :: DTyp
  - substD :: Subst Dom
  - substT :: Subst DTyp
  - body :: Trm
  - _locations :: Set CoverageAnnotation
  }
- | DConstr {
  - dat :: DTyp
  - constr :: Int
  - argsD :: SnocList Dom
  - _locations :: Set CoverageAnnotation
  }
- | DMatch {
  - dat :: DTyp
  - _locations :: Set CoverageAnnotation
  }
- | DUnion [Dom]
- | DWeaken {
  - wk :: Weakening
  - inner :: Dom
  }
data DTyp
- = DTVar NamedTyDeBruijn [DTyp]
- | DTFun DTyp DTyp
- | DTLam {
  - dtName :: NamedTyDeBruijn
  - dtKind :: Kin
  - dtBody :: DTyp
  }
- | DTForall {
  - dtName :: NamedTyDeBruijn
  - dtKind :: Kin
  - dtBody :: DTyp
  }
- | DTWk {
  - dtWk :: Weakening
  - dtBody :: DTyp
  }
- | DTyBuiltin Kin
data DArg
- = TyArg DTyp
- | DArg Dom
newtype Weakening = Wk [(Index, Index)]
wkIndex :: HasCallStack => Weakening -> Index -> Index
wkBy :: HasCallStack => Index -> Weakening
shiftWeakening :: HasCallStack => Weakening -> Weakening
topLevelLocations :: HasCallStack => Dom -> Set CoverageAnnotation

Documentation

data SnocList a Source #

Constructors

Nil
(SnocList a) :> a infixl 5

Instances

Instances details

Functor SnocList Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods fmap :: (a -> b) -> SnocList a -> SnocList b Source # (<$) :: a -> SnocList b -> SnocList a Source #
Foldable SnocList Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods fold :: Monoid m => SnocList m -> m Source # foldMap :: Monoid m => (a -> m) -> SnocList a -> m Source # foldMap' :: Monoid m => (a -> m) -> SnocList a -> m Source # foldr :: (a -> b -> b) -> b -> SnocList a -> b Source # foldr' :: (a -> b -> b) -> b -> SnocList a -> b Source # foldl :: (b -> a -> b) -> b -> SnocList a -> b Source # foldl' :: (b -> a -> b) -> b -> SnocList a -> b Source # foldr1 :: (a -> a -> a) -> SnocList a -> a Source # foldl1 :: (a -> a -> a) -> SnocList a -> a Source # toList :: SnocList a -> [a] Source # null :: SnocList a -> Bool Source # length :: SnocList a -> Int Source # elem :: Eq a => a -> SnocList a -> Bool Source # maximum :: Ord a => SnocList a -> a Source # minimum :: Ord a => SnocList a -> a Source # sum :: Num a => SnocList a -> a Source # product :: Num a => SnocList a -> a Source #
Traversable SnocList Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods traverse :: Applicative f => (a -> f b) -> SnocList a -> f (SnocList b) Source # sequenceA :: Applicative f => SnocList (f a) -> f (SnocList a) Source # mapM :: Monad m => (a -> m b) -> SnocList a -> m (SnocList b) Source # sequence :: Monad m => SnocList (m a) -> m (SnocList a) Source #
Eq a => Eq (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: SnocList a -> SnocList a -> Bool Source # (/=) :: SnocList a -> SnocList a -> Bool Source #
Ord a => Ord (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods compare :: SnocList a -> SnocList a -> Ordering Source # (<) :: SnocList a -> SnocList a -> Bool Source # (<=) :: SnocList a -> SnocList a -> Bool Source # (>) :: SnocList a -> SnocList a -> Bool Source # (>=) :: SnocList a -> SnocList a -> Bool Source # max :: SnocList a -> SnocList a -> SnocList a Source # min :: SnocList a -> SnocList a -> SnocList a Source #
Show a => Show (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> SnocList a -> ShowS Source # show :: SnocList a -> String Source # showList :: [SnocList a] -> ShowS Source #
Generic (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep (SnocList a) :: Type -> Type Source # Methods from :: SnocList a -> Rep (SnocList a) x Source # to :: Rep (SnocList a) x -> SnocList a Source #
Semigroup (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (<>) :: SnocList a -> SnocList a -> SnocList a Source # sconcat :: NonEmpty (SnocList a) -> SnocList a Source # stimes :: Integral b => b -> SnocList a -> SnocList a Source #
Monoid (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods mempty :: SnocList a Source # mappend :: SnocList a -> SnocList a -> SnocList a Source # mconcat :: [SnocList a] -> SnocList a Source #
Pretty a => Pretty (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: SnocList a -> Doc Source # prettyPrec :: Int -> SnocList a -> Doc Source #
type Rep (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep (SnocList a) = D1 ('MetaData "SnocList" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "Nil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons ":>" ('InfixI 'LeftAssociative 5) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SnocList a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

zipWithSnoc :: (a -> b -> c) -> SnocList a -> SnocList b -> SnocList c Source #

Domain definitions

data DCon Source #

Constructors

DCon [DTyp]

Instances

Instances details

Eq DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: DCon -> DCon -> Bool Source # (/=) :: DCon -> DCon -> Bool Source #
Show DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> DCon -> ShowS Source # show :: DCon -> String Source # showList :: [DCon] -> ShowS Source #
Generic DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep DCon :: Type -> Type Source # Methods from :: DCon -> Rep DCon x Source # to :: Rep DCon x -> DCon Source #
Pretty DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DCon -> Doc Source # prettyPrec :: Int -> DCon -> Doc Source #
type Rep DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep DCon = D1 ('MetaData "DCon" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "DCon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DTyp])))

data DDat Source #

Constructors

DDat Bool NamedTyDeBruijn Kin [NamedTyDeBruijn] [DCon]

Instances

Instances details

Eq DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: DDat -> DDat -> Bool Source # (/=) :: DDat -> DDat -> Bool Source #
Show DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> DDat -> ShowS Source # show :: DDat -> String Source # showList :: [DDat] -> ShowS Source #
Generic DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep DDat :: Type -> Type Source # Methods from :: DDat -> Rep DDat x Source # to :: Rep DDat x -> DDat Source #
Pretty DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DDat -> Doc Source # prettyPrec :: Int -> DDat -> Doc Source #
type Rep DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep DDat = D1 ('MetaData "DDat" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "DDat" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NamedTyDeBruijn]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DCon])))))

data TyCtxEntry Source #

Constructors

NamedTyDeBruijn ::: Kin
TyCtxRecDat (SnocList DDat)
TyCtxDat DDat

Instances

Instances details

Eq TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: TyCtxEntry -> TyCtxEntry -> Bool Source # (/=) :: TyCtxEntry -> TyCtxEntry -> Bool Source #
Show TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> TyCtxEntry -> ShowS Source # show :: TyCtxEntry -> String Source # showList :: [TyCtxEntry] -> ShowS Source #
Generic TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep TyCtxEntry :: Type -> Type Source # Methods from :: TyCtxEntry -> Rep TyCtxEntry x Source # to :: Rep TyCtxEntry x -> TyCtxEntry Source #
Pretty TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: TyCtxEntry -> Doc Source # prettyPrec :: Int -> TyCtxEntry -> Doc Source #
type Rep TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep TyCtxEntry = D1 ('MetaData "TyCtxEntry" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons ":::" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin)) :+: (C1 ('MetaCons "TyCtxRecDat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SnocList DDat))) :+: C1 ('MetaCons "TyCtxDat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DDat))))

type TyCtx = SnocList TyCtxEntry Source #

type Subst a = SnocList a Source #

data Dom Source #

Constructors

DTop
Fields ty :: DTyp depth :: Int _locations :: Set CoverageAnnotation
DError
DSusp
Fields _locations :: Set CoverageAnnotation inner :: Dom
DTySusp
Fields suspName :: NamedTyDeBruijn kind :: Kin _locations :: Set CoverageAnnotation inner :: Dom
DIf
Fields argTy :: DTyp _locations :: Set CoverageAnnotation
DTrace
Fields argTy :: DTyp _locations :: Set CoverageAnnotation
DLoc
Fields location :: CoverageAnnotation
DLam
Fields lamName :: NamedDeBruijn argTy :: DTyp substD :: Subst Dom substT :: Subst DTyp body :: Trm _locations :: Set CoverageAnnotation
DConstr
Fields dat :: DTyp constr :: Int argsD :: SnocList Dom _locations :: Set CoverageAnnotation
DMatch
Fields dat :: DTyp _locations :: Set CoverageAnnotation
DUnion [Dom]
DWeaken
Fields wk :: Weakening inner :: Dom

Instances

Instances details

Show Dom Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> Dom -> ShowS Source # show :: Dom -> String Source # showList :: [Dom] -> ShowS Source #
Generic Dom Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep Dom :: Type -> Type Source # Methods from :: Dom -> Rep Dom x Source # to :: Rep Dom x -> Dom Source #
Pretty Dom Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Dom -> Doc Source # prettyPrec :: Int -> Dom -> Doc Source #
type Rep Dom Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep Dom = D1 ('MetaData "Dom" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (((C1 ('MetaCons "DTop" 'PrefixI 'True) (S1 ('MetaSel ('Just "ty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: (S1 ('MetaSel ('Just "depth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation)))) :+: (C1 ('MetaCons "DError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DSusp" 'PrefixI 'True) (S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation)) :: S1 ('MetaSel ('Just "inner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dom)))) :+: (C1 ('MetaCons "DTySusp" 'PrefixI 'True) ((S1 ('MetaSel ('Just "suspName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn) :: S1 ('MetaSel ('Just "kind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin)) :: (S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation)) :: S1 ('MetaSel ('Just "inner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dom))) :+: (C1 ('MetaCons "DIf" 'PrefixI 'True) (S1 ('MetaSel ('Just "argTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))) :+: C1 ('MetaCons "DTrace" 'PrefixI 'True) (S1 ('MetaSel ('Just "argTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation)))))) :+: ((C1 ('MetaCons "DLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "location") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoverageAnnotation)) :+: (C1 ('MetaCons "DLam" 'PrefixI 'True) ((S1 ('MetaSel ('Just "lamName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedDeBruijn) :: (S1 ('MetaSel ('Just "argTy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Just "substD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Subst Dom)))) :: (S1 ('MetaSel ('Just "substT") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Subst DTyp)) :: (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Trm) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))))) :+: C1 ('MetaCons "DConstr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Just "constr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "argsD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SnocList Dom)) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation)))))) :+: (C1 ('MetaCons "DMatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "dat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Just "_locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))) :+: (C1 ('MetaCons "DUnion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dom])) :+: C1 ('MetaCons "DWeaken" 'PrefixI 'True) (S1 ('MetaSel ('Just "wk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Weakening) :: S1 ('MetaSel ('Just "inner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dom))))))

data DTyp Source #

Constructors

DTVar NamedTyDeBruijn [DTyp]
DTFun DTyp DTyp
DTLam
Fields dtName :: NamedTyDeBruijn dtKind :: Kin dtBody :: DTyp
DTForall
Fields dtName :: NamedTyDeBruijn dtKind :: Kin dtBody :: DTyp
DTWk
Fields dtWk :: Weakening dtBody :: DTyp
DTyBuiltin Kin

Instances

Instances details

Eq DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: DTyp -> DTyp -> Bool Source # (/=) :: DTyp -> DTyp -> Bool Source #
Show DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> DTyp -> ShowS Source # show :: DTyp -> String Source # showList :: [DTyp] -> ShowS Source #
Generic DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep DTyp :: Type -> Type Source # Methods from :: DTyp -> Rep DTyp x Source # to :: Rep DTyp x -> DTyp Source #
Pretty DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DTyp -> Doc Source # prettyPrec :: Int -> DTyp -> Doc Source #
type Rep DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep DTyp = D1 ('MetaData "DTyp" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) ((C1 ('MetaCons "DTVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DTyp])) :+: (C1 ('MetaCons "DTFun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp)) :+: C1 ('MetaCons "DTLam" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn) :: (S1 ('MetaSel ('Just "dtKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin) :: S1 ('MetaSel ('Just "dtBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp))))) :+: (C1 ('MetaCons "DTForall" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedTyDeBruijn) :: (S1 ('MetaSel ('Just "dtKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin) :: S1 ('MetaSel ('Just "dtBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp))) :+: (C1 ('MetaCons "DTWk" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtWk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Weakening) :*: S1 ('MetaSel ('Just "dtBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DTyp)) :+: C1 ('MetaCons "DTyBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kin)))))

data DArg Source #

Constructors

TyArg DTyp
DArg Dom

Instances

Instances details

Show DArg Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> DArg -> ShowS Source # show :: DArg -> String Source # showList :: [DArg] -> ShowS Source #
Pretty DArg Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DArg -> Doc Source # prettyPrec :: Int -> DArg -> Doc Source #

newtype Weakening Source #

Constructors

Wk [(Index, Index)]

Instances

Instances details

Eq Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (==) :: Weakening -> Weakening -> Bool Source # (/=) :: Weakening -> Weakening -> Bool Source #
Show Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods showsPrec :: Int -> Weakening -> ShowS Source # show :: Weakening -> String Source # showList :: [Weakening] -> ShowS Source #
Generic Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Associated Types type Rep Weakening :: Type -> Type Source # Methods from :: Weakening -> Rep Weakening x Source # to :: Rep Weakening x -> Weakening Source #
Semigroup Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods (<>) :: Weakening -> Weakening -> Weakening Source # sconcat :: NonEmpty Weakening -> Weakening Source # stimes :: Integral b => b -> Weakening -> Weakening Source #
Monoid Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types Methods mempty :: Weakening Source # mappend :: Weakening -> Weakening -> Weakening Source # mconcat :: [Weakening] -> Weakening Source #
Pretty Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Weakening -> Doc Source # prettyPrec :: Int -> Weakening -> Doc Source #
type Rep Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Types type Rep Weakening = D1 ('MetaData "Weakening" "Plutus.Contract.Test.Coverage.Analysis.Types" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "Wk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Index, Index)])))

wkIndex :: HasCallStack => Weakening -> Index -> Index Source #

wkBy :: HasCallStack => Index -> Weakening Source #

shiftWeakening :: HasCallStack => Weakening -> Weakening Source #

topLevelLocations :: HasCallStack => Dom -> Set CoverageAnnotation Source #