Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
type Traversal α β a b = forall f. Applicative f => (a -> f b) -> α -> f β Source #
type Iso α β a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p α (f β) Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
type Traversal α β a b = forall f. Applicative f => (a -> f b) -> α -> f β Source #
type Iso α β a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p α (f β) Source #