Copyright  (c) Marcin Mrotek 2014 

License  BSD3 
Maintainer  marcin.jan.mrotek@gmail.com 
Safe Haskell  None 
Language  Haskell2010 
Extensions 

Operations on records parametrized with various kinds of functions.
 operator :: (forall t. f t > g t > h t) > Rec f rs > Rec g rs > Rec h rs
 (/$/) :: Functor f => Rec ((>) a) rs > Rec (Const (f a)) rs > Rec f rs
 (/$$/) :: Rec (Compose ((>) a) f) rs > Rec (Const a) rs > Rec f rs
 (\$\) :: Functor f => Rec (Op a) rs > Rec f rs > Rec (Const (f a)) rs
 (\$$\) :: Rec (Compose (Op a) f) rs > Rec f rs > Rec (Const a) rs
 (\&&\) :: forall f rs. Applicative f => Rec Predicate rs > Rec f rs > f Bool
 (\\) :: forall f rs. Applicative f => Rec Predicate rs > Rec f rs > f Bool
Documentation
operator :: (forall t. f t > g t > h t) > Rec f rs > Rec g rs > Rec h rs Source #
Create an operator between records sharing their fields but differing in functors.
(/$/) :: Functor f => Rec ((>) a) rs > Rec (Const (f a)) rs > Rec f rs Source #
Apply a record of (a > x) functions to a constant type record to obtain a plain frecord.
(/$$/) :: Rec (Compose ((>) a) f) rs > Rec (Const a) rs > Rec f rs Source #
Apply a record of (a > f x) functions to a constant type record to obtain a plain frecord.
(\$\) :: Functor f => Rec (Op a) rs > Rec f rs > Rec (Const (f a)) rs Source #
Apply a record of (x > a) functions to a plain frecord to obtain a constant type record.
(\$$\) :: Rec (Compose (Op a) f) rs > Rec f rs > Rec (Const a) rs Source #
Apply a record of (f x > a) functions to a plain frecord to obtain a constant type record.