Safe HaskellSafe-Infered

AOP.Internal.ProtectedPC

Documentation

data ProtectedPC m a b t c d

protectPC :: (Typeable1Monad m, LessGen (a -> b) (c -> m d)) => PC m a b -> Combinator t m c d -> ProtectedPC m a b t c d

pAspect :: (Monad m, LessGen (a -> b) (c -> m d)) => ProtectedPC m a b t c d -> t -> Aspect m a b c d

ppcAnd :: Typeable1Monad m => ProtectedPC m a b t c d -> ProtectedPC m a b t c d -> ProtectedPC m a b t c d

ppcOr :: (Typeable1Monad m, LeastGen (a -> b) (c -> d) (agen -> bgen), LessGen (agen -> bgen) (a' -> m b')) => ProtectedPC m a b t a' b' -> ProtectedPC m c d t a' b' -> ProtectedPC m agen bgen t a' b'