Safe Haskell | Safe-Infered |
---|
- agata :: Buildable a => Gen a
- agataWith :: Buildable a => Strategy a -> Gen a
- agataSC :: Buildable a => Int -> [a]
- agataEnum :: Buildable a => Int -> (Integer, [a])
- class Buildable a where
- data Builder a
- rebuild :: a -> (a -> Improving b) -> Improving b
- rb :: Buildable a => a -> (a -> b) -> Improving b
- (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- (*>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- ($>) :: a -> (Application b a -> Application b b) -> [Builder b]
- (.>) :: (a -> b) -> (b -> c) -> a -> c
- graft :: Gen a -> (Int -> (Integer, [a])) -> [Builder a]
- inline :: Buildable a => (a -> b) -> [Builder b]
- automutrec :: Buildable a => Application c (a -> b) -> Application c b
- use :: a -> [Builder a]
- construct :: a -> (Application b a -> Application b b) -> Builder b
- autorec :: Buildable a => Application c (a -> b) -> Application c b
- nonrec :: Buildable a => Application c (a -> b) -> Application c b
- mutrec :: Buildable a => Application c (a -> b) -> Application c b
- rec :: Buildable c => Application c (c -> b) -> Application c b
Documentation
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
Left-to-right Kleisli composition of monads.
automutrec :: Buildable a => Application c (a -> b) -> Application c bSource