- data P s a
- data Result s a
- step :: s -> P s a -> Result s a
- runP :: Monad m => s -> ((a, s) -> m s) -> (b -> a -> b) -> b -> P s a -> m b
- pfoldr' :: s -> (a -> b -> b) -> b -> P s a -> b
- evalP :: P () a -> [a]
- evalR :: String -> P StdGen a -> [a]
- pzipWith :: (a -> b -> c) -> P s a -> P s b -> P s c
- pcycle :: P s a -> P s a
- prepeat :: a -> P s a
- prp :: (s -> (P s a, s)) -> P s a
- pinf :: P s Int
- pcontinue :: P s x -> (x -> P s x -> P s a) -> P s a
- pscan :: (x -> y -> (x, a)) -> Maybe (x -> a) -> x -> P s y -> P s a
- punfoldr :: (x -> Maybe (a, x)) -> x -> P s a
- pfilter :: (a -> Bool) -> P s a -> P s a
- plist :: [P s a] -> P s a
- pcons :: a -> P s a -> P s a
- preplicate_ :: Int -> P s a -> P s a
- preplicate :: P s Int -> P s a -> P s a
- pn :: P s a -> P s Int -> P s a
- pn_ :: P s a -> Int -> P s a
- ptake_ :: Int -> P s a -> P s a
- ptake :: P s Int -> P s a -> P s a
- prestrict_ :: Int -> P s a -> P s a
- prestrict :: P s Int -> P s a -> P s a
- pmapMaybe :: (a -> Maybe b) -> P s a -> P s b
- preject :: (a -> Bool) -> P s a -> P s a
- pzipWith3 :: (a -> b -> c -> d) -> P s a -> P s b -> P s c -> P s d
- pzipWith4 :: (a -> b -> c -> d -> e) -> P s a -> P s b -> P s c -> P s d -> P s e
- pzip :: P s a -> P s b -> P s (a, b)
- pzip3 :: P s a -> P s b -> P s c -> P s (a, b, c)
- pzip4 :: P s a -> P s b -> P s c -> P s d -> P s (a, b, c, d)
- pseries :: Num a => a -> a -> Int -> P s a
- pgeom :: Num a => a -> a -> Int -> P s a
- pstutter' :: P s Int -> P s a -> P s a
- pstutter :: P s Int -> P s a -> P s a
- pcountpre :: P s Bool -> P s Int
- pcountpost :: P s Bool -> P s Int
- pclutch' :: P s a -> P s Bool -> P s a
- pbool :: (Ord a, Num a) => P s a -> P s Bool
- pclutch :: (Num b, Ord b) => P s a -> P s b -> P s a
- pcollect :: (a -> b) -> P s a -> P s b
- pdegreeToKey :: RealFrac a => P s a -> P s [a] -> P s a -> P s a
- pfin :: P s Int -> P s a -> P s a
- pfin_ :: Int -> P s a -> P s a
- wrap :: (Ord a, Num a) => a -> a -> a -> a
- pwrap :: (Ord a, Num a) => P s a -> P s a -> P s a -> P s a
- prsd :: Eq a => P s a -> P s a
- psequence :: P s (P s a) -> P s a
- pduple :: (a, a) -> P s a
- pinterleave :: P s a -> P s a -> P s a
- ptrigger :: P s Bool -> P s a -> P s (Maybe a)
- pif :: P s Bool -> P s a -> P s a -> P s a
- phead :: P s a -> P s a
- ptail :: P s a -> P s a
- pdrop :: P s Int -> P s a -> P s a
- pscanl :: (a -> y -> a) -> a -> P s y -> P s a
- prrandf :: (RandomGen s, Random a) => (a -> a -> a -> a) -> a -> a -> P s a
- prrand :: (RandomGen s, Random a) => a -> a -> P s a
- prrandexp :: (RandomGen s, Floating a, Random a) => a -> a -> P s a
- pchoosea :: RandomGen s => Array Int (P s a) -> P s a
- pchoose :: RandomGen s => [P s a] -> P s a
- prand :: RandomGen s => [P s a] -> P s Int -> P s a
- pwhite :: (RandomGen s, Random a) => P s a -> P s a -> P s Int -> P s a
- pexprand :: (RandomGen s, Floating a, Random a) => P s a -> P s a -> P s Int -> P s a
- pxrand :: (RandomGen s, Eq a) => [P s a] -> P s Int -> P s a
- pwrand :: RandomGen s => [P s a] -> [P s a] -> P s Int -> P s a
- pseq_ :: [P s a] -> Int -> P s a
- pseq :: [P s a] -> P s Int -> P s a
- pser_ :: [P s a] -> Int -> P s a
- pser :: [P s a] -> P s Int -> P s a
- pswitch :: [P s a] -> P s Int -> P s a
- pswitch1m :: IntMap (P s a) -> P s Int -> P s a
- pswitch1 :: [P s a] -> P s Int -> P s a
- ppatlace :: [P s a] -> P s Int -> P s a
- pzipWith_c :: (a -> b -> c) -> P s a -> P s b -> P s c
- (+.) :: Num a => P s a -> P s a -> P s a
- (*.) :: Num a => P s a -> P s a -> P s a
- (/.) :: Fractional a => P s a -> P s a -> P s a
- (-.) :: Num a => P s a -> P s a -> P s a
Documentation
Basic constructors
Control
preplicate_ :: Int -> P s a -> P s aSource
prestrict_ :: Int -> P s a -> P s aSource
n
initial values at pcycle of p
.
pinterleave :: P s a -> P s a -> P s aSource
Random numbers
List
Extend
pzipWith_c :: (a -> b -> c) -> P s a -> P s b -> P s cSource