Documentation

(.:) :: (r -> z) -> (a -> b -> r) -> a -> b -> z infixr 8 Source #

(.:.) :: (r -> z) -> (a -> b -> c -> r) -> a -> b -> c -> z infixr 8 Source #

(.::) :: (r -> z) -> (a -> b -> c -> d -> r) -> a -> b -> c -> d -> z infixr 8 Source #

(.::.) :: (r -> z) -> (a -> b -> c -> d -> e -> r) -> a -> b -> c -> d -> e -> z infixr 8 Source #

atSameType :: p a a -> p a a Source #