Safe Haskell | Safe-Infered |
---|
- class Apply p where
- type ApplyState p :: (* -> *) -> *
- apply :: ApplyMonad m (ApplyState p) => p x y -> m ()
- applyToFilepaths :: (Apply p, ApplyState p ~ Tree) => p x y -> [FilePath] -> [FilePath]
- applyToTree :: (Apply p, Functor m, Monad m, ApplyState p ~ Tree) => p x y -> Tree m -> m (Tree m)
- applyToState :: forall p m x y. (Apply p, ApplyMonadTrans m (ApplyState p)) => p x y -> ApplyState p m -> m (ApplyState p m)
Documentation
type ApplyState p :: (* -> *) -> *Source
apply :: ApplyMonad m (ApplyState p) => p x y -> m ()Source
applyToFilepaths :: (Apply p, ApplyState p ~ Tree) => p x y -> [FilePath] -> [FilePath]Source
applyToTree :: (Apply p, Functor m, Monad m, ApplyState p ~ Tree) => p x y -> Tree m -> m (Tree m)Source
applyToState :: forall p m x y. (Apply p, ApplyMonadTrans m (ApplyState p)) => p x y -> ApplyState p m -> m (ApplyState p m)Source