| Copyright | (c) Marcin Mrotek, 2014 |
|---|---|
| License | BSD3 |
| Maintainer | marcin.jan.mrotek@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
| Extensions |
|
Data.Vinyl.Utils.Operator
Description
- operator :: (forall t. f t -> g t -> h t) -> Rec el f rs -> Rec el g rs -> Rec el h rs
- (/$/) :: Functor f => Rec el ((->) a) rs -> Rec el (Const (f a)) rs -> Rec el f rs
- (/$$/) :: Rec el (Compose ((->) a) f) rs -> Rec el (Const a) rs -> Rec el f rs
- (\$\) :: Functor f => Rec el (Op a) rs -> Rec el f rs -> Rec el (Const (f a)) rs
- (\$$\) :: Rec el (Compose (Op a) f) rs -> Rec el f rs -> Rec el (Const a) rs
- (\&&\) :: forall el f rs. Applicative f => Rec el Predicate rs -> Rec el f rs -> f Bool
- (\||\) :: forall el f rs. Applicative f => Rec el Predicate rs -> Rec el f rs -> f Bool
- p :: (a -> Bool) -> Predicate a
Documentation
operator :: (forall t. f t -> g t -> h t) -> Rec el f rs -> Rec el g rs -> Rec el h rs Source
Create an operator between records sharing their universes and fields but differing in functors.
(/$/) :: Functor f => Rec el ((->) a) rs -> Rec el (Const (f a)) rs -> Rec el f rs Source
Apply a record of (a -> x) functions to a constant type record to obtain a plain f-record.
(/$$/) :: Rec el (Compose ((->) a) f) rs -> Rec el (Const a) rs -> Rec el f rs Source
Apply a record of (f a -> f x) functions to a constant type record to obtain a plain f-record.
(\$\) :: Functor f => Rec el (Op a) rs -> Rec el f rs -> Rec el (Const (f a)) rs Source
Apply a record of (x -> a) functions to a plain f-record to obtain a constant type record.
(\$$\) :: Rec el (Compose (Op a) f) rs -> Rec el f rs -> Rec el (Const a) rs Source
Apply a record of (f x -> f a) functions to a plain f-record to obtain a constant type record.
(\&&\) :: forall el f rs. Applicative f => Rec el Predicate rs -> Rec el f rs -> f Bool Source
Apply a predicate record to a plain f-record to obtain a boolean product inside the f functor.