Data.Vinyl.Operators

Documentation

(<<$>>) :: (forall x. f x -> g x) -> Rec el f rs -> Rec el g rs infixl 8

(<<*>>) :: Rec el (Lift (->) f g) rs -> Rec el f rs -> Rec el g rs infixl 8

(<+>) :: Rec el f as -> Rec el f bs -> Rec el f (as ++ bs) infixr 5

Append for records.

rpure :: RecApplicative rs => (forall x. f x) -> Rec el f rs

rtraverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec el f rs -> h (Rec el g rs)

rdist :: Applicative f => Rec el f rs -> f (PlainRec el rs)

rdistLazy :: Applicative f => Rec el f rs -> f (LazyPlainRec el rs)

foldRec :: FoldRec r a => (a -> b -> b) -> b -> r -> b

recToList :: FoldRec (Rec el f rs) (f t) => Rec el f rs -> [f t]

Accumulates a homogenous record into a list

showWithNames :: RecAll el f rs Show => PlainRec (Const String) rs -> Rec el f rs -> String

rshow :: (Implicit (PlainRec (Const String) rs), RecAll el f rs Show) => Rec el f rs -> String