Moduleplutus-core-1.70.0.0

PlutusCore.Examples.Data.Vec

Synopsis

valuechurchConcat :: Term TyName Name uni fun ()

valuechurchCons :: Term TyName Name uni fun ()

valuechurchNil :: Term TyName Name uni fun ()

valuechurchVec :: Type TyName uni ()

valuegetEta :: Type TyName uni () -> Quote (Type TyName uni ())

valuegetStepFun

valuenatK :: Kind ()

valueplusT :: Type TyName uni ()

valuescottCons :: Term TyName Name uni fun ()

valuescottHead :: HasTypeAndTermLevel uni () => Term TyName Name uni fun ()

valuescottNil :: Term TyName Name uni fun ()

valuescottSumHeadsOr0 :: (HasTypeAndTermLevel uni Integer, HasTypeAndTermLevel uni ()) => Term TyName Name uni DefaultFun ()

valuescottVec :: Type TyName uni ()

valuescottVecF :: Type TyName uni ()

valuesuccT :: Type TyName uni ()

valuezeroT :: Type TyName uni ()