Safe Haskell | Safe-Inferred |
---|

# Documentation

composeW :: (s p1 p0 -> s' p1 p0) -> W t s p1 p0 -> W t s' p1 p0Source

composeW' :: W' t s' p1 p0 -> (s p1 p0 -> s' p1 p0) -> W' t s p1 p0Source

sym :: W' t' s p1 p0 -> W t s p1 p0 -> Sym t t' p1 p0Source

unSym :: W t s' p1 p0 -> W' t s p1 p0 -> s p1 p0 -> s' p1 p0Source

composeSymW' :: Sym t t' p1 p0 -> W' t s p1 p0 -> W' t' s p1 p0Source

composeWSym :: W t' s p1 p0 -> Sym t t' p1 p0 -> W t s p1 p0Source