 | peakachu-0.2: Experiemental library for composable interactive programs | Source code | Contents | Index |
| Data.Bijection.YC |
In/with functions for bijective functions
Example:
import Data.Bijection (Bijection(..), bimap) import Data.Bijection.YC (withBi2) import Data.Monoid (Monoid(..), Sum(..)) biSum :: Num a => Bijection (->) a (Sum a) biSum = Bi Sum getSum > withBi2 (bimap biSum) mappend (Just 5) (Just 7) Just 12 > withBi2 (bimap biSum) mappend Nothing (Just 7) Just 7
| withBi :: Arrow x => Bijection x a b -> x b b -> x a a | Source |
| inBi2 :: Bijection (->) a b -> (a -> a -> a) -> b -> b -> b | Source |
| withBi2 :: Bijection (->) a b -> (b -> b -> b) -> a -> a -> a | Source |