Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.Unroll

1 type
2 classes
1 value

Packageplutus-core-1.70.0.0
Exports5
LicenceApache-2.0

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

classclass Drop (n :: Peano) where

Methods

drop' :: [a] -> Maybe [a]

Instances2Drop

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

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

Equations

NatToPeano 0 = 'Z
NatToPeano n = 'S (NatToPeano (n - 1))

datadata Peano

Constructors

Z
S Peano

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

Methods

upwardsM :: Int -> (Int -> f ()) -> f ()

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