Documentation

head :: Rec f (r : rs) -> f r Source

tail :: Rec f (r : rs) -> Rec f rs Source

cons :: f r -> Rec f rs -> Rec f (r : rs) Source

uncons :: Rec f (r : rs) -> (f r, Rec f rs) Source

curry :: (Rec f (a : as) -> b) -> f a -> Rec f as -> b Source

uncurry :: (f a -> Rec f as -> b) -> Rec f (a : as) -> b Source

append :: Rec f rs -> Rec f ss -> Rec f (rs ++ ss) Source

singleton :: f a -> Rec f `[a]` Source

null :: Rec f rs -> Bool Source

foldl :: (forall a. b -> f a -> b) -> b -> Rec f rs -> b Source

foldlConstrained :: ListAll rs c => proxy c -> (forall a. c a => b -> f a -> b) -> b -> Rec f rs -> b Source

toTypeMap :: ListAll rs Typeable => Rec f rs -> TypeMap f Source

fromTypeMap :: ListAll rs Typeable => Rec proxy rs -> TypeMap f -> Maybe (Rec f rs) Source

fromTypeMap' :: forall f rs. (ListAll rs Typeable, RecApplicative rs) => TypeMap f -> Maybe (Rec f rs) Source

length :: Rec f rs -> Int Source

apply :: Rec (Lift (->) f g) rs -> Rec f rs -> Rec g rs Source

traverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec f rs -> h (Rec g rs) Source

replace :: CoRec f rs -> Rec f rs -> Rec f rs Source

modify :: CoRec (Compose Endo f) rs -> Rec f rs -> Rec f rs Source

modify' :: CoRec Endo rs -> Rec Identity rs -> Rec Identity rs Source

fromInfiniteList :: Rec proxy rs -> [a] -> Rec (Constant a) rs Source

fromList :: Rec proxy rs -> [a] -> Maybe (Rec (Constant a) rs) Source

toList :: Rec (Constant a) rs -> [a] Source

zip :: Rec f rs -> Rec g rs -> Rec (Product f g) rs Source

unzip :: Rec (Product f g) rs -> (Rec f rs, Rec g rs) Source

zip2 :: Rec f rs -> Rec g rs -> Rec (FunctorRec `[f, g]`) rs Source

zip3 :: Rec f rs -> Rec g rs -> Rec h rs -> Rec (FunctorRec `[f, g, h]`) rs Source

zip4 :: Rec f rs -> Rec g rs -> Rec h rs -> Rec k rs -> Rec (FunctorRec `[f, g, h, k]`) rs Source

just :: Rec f rs -> Rec (Compose Maybe f) rs Source

right :: Rec f rs -> Rec (Compose (Either a) f) rs Source

map :: (forall x. f x -> g x) -> Rec f rs -> Rec g rs Source

fromMaybe :: Rec f rs -> Rec (Compose Maybe f) rs -> Rec f rs Source

fromMaybe' :: Rec Identity rs -> Rec Maybe rs -> Rec Identity rs Source