ZkFold.Prelude

Documentation

length :: Foldable t => t a -> Natural

take :: Natural -> [a] -> [a]

drop :: Natural -> [a] -> [a]

splitAt :: Natural -> [a] -> ([a], [a])

replicate :: Natural -> a -> [a]

replicateA :: Applicative f => Natural -> f a -> f [a]

zipWithDefault :: (a -> b -> c) -> a -> b -> [a] -> [b] -> [c]

elemIndex :: Eq a => a -> [a] -> Maybe Natural

(!!) :: [a] -> Natural -> a

(!) :: Ord k => Map k a -> k -> a

writeFileJSON :: ToJSON a => FilePath -> a -> IO ()

readFileJSON :: FromJSON a => FilePath -> IO a

assert :: Show a => Bool -> a -> x -> x

chooseNatural :: (Natural, Natural) -> Gen Natural