Documentation

forLoop :: Syntax a => Data Length -> a -> (Data Index -> a -> a) -> aSource

whileLoop :: Syntax a => a -> (a -> Data Bool) -> (a -> a) -> aSource

forM :: Syntax a => Data Length -> (Data Index -> M a) -> M ()Source

whileM :: Syntax a => M (Data Bool) -> M a -> M ()Source