Moduleplutus-core-1.70.0.0

PlutusCore.Unroll

Synopsis

valuedropN :: Drop (NatToPeano n) => [a] -> Maybe [a]

classclass Drop (n :: Peano) where

Instances2Drop

familytype family NatToPeano (n :: Nat) :: Peano where

datadata Peano

classclass Applicative f => UpwardsM (f :: Type -> Type) (n :: Peano) where

Instances2UpwardsM

Applicative f => UpwardsM f 'ZDefined in plutus-core-1.70.0.0 · PlutusCore.Unroll
UpwardsM f n => UpwardsM f ('S n)Defined in plutus-core-1.70.0.0 · PlutusCore.Unroll