Fcf.Data.List.Utils

Fcf.Data.List.Utils

The following would probably have better place at the first-class-families library. That is, polish and make a PR.

Documentation

>>> import qualified GHC.TypeLits as TL
>>> import           Fcf.Data.Nat

data Foldl :: (b -> a -> Exp b) -> b -> t a -> Exp b

Foldl in terms of Foldr.

Example

>>> :kind! Eval (Foldl (Fcf.-) 10 '[3,2,1])
Eval (Foldl (Fcf.-) 10 '[3,2,1]) :: Nat
= 4

Instances

type Eval (Foldl f b ta :: a1 -> Type)

Defined in Fcf.Data.List.Utils

type Eval (Foldl f b ta :: a1 -> Type) = Eval (Foldr (Flip f) b (Eval (Reverse ta)))