Reverse function application, argument first.
Example
:kind! Eval ('(True, Nothing) & Fst)Eval ('(True, Nothing) & Fst) :: Bool= True
Modulefirst-class-families-0.8.1.0Haskell2010
Fcf.Data.Function
Simple combinators for functions.
- 3 types
- Packagefirst-class-families-0.8.1.0
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceFunction.hs
Lift a binary function to the domain of a projection.
Example
:kind! Eval (((&&) `On` Fst) '(True, Nothing) '(False, Just '()))Eval (((&&) `On` Fst) '(True, Nothing) '(False, Just '())) :: Bool= False
data
data Bicomap (f :: a -> Exp c) (g :: b -> Exp d) (h :: c -> d -> Exp e) (i :: a) (j :: b) (k :: e)Pre-compose a binary function with a function for each argument.
Example
:kind! Eval (Bicomap Fst Pure (||) '(False, Nothing) True)Eval (Bicomap Fst Pure (||) '(False, Nothing) True) :: Bool= True