Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
foldlConstrained :: ListAll rs c => proxy c -> (forall a. c a => b -> f a -> b) -> b -> Rec f rs -> b Source
fromTypeMap' :: forall f rs. (ListAll rs Typeable, RecApplicative rs) => TypeMap f -> Maybe (Rec f rs) Source
traverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec f rs -> h (Rec g rs) Source
fromInfiniteList :: Rec proxy rs -> [a] -> Rec (Constant a) rs Source