Pandora.Pattern

Documentation

module Pandora.Pattern.Category

module Pandora.Pattern.Functor

module Pandora.Pattern.Transformer

module Pandora.Pattern.Object

(.|..) :: (Category v, Covariant (v a)) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d infixr 7

(.|...) :: (Category v, Covariant (v a), Covariant (v b)) => v d e -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e infixr 7

(.|....) :: (Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e f -> ((v a :. (v b :. (v c :. v d))) := e) -> (v a :. (v b :. (v c :. v d))) := f infixr 7