Modulefirst-class-families-0.8.2.0

Fcf.Class.Foldable

datadata All (b :: a -> Exp Bool) (c :: t a) (d :: Bool)

Instances1Eval

type Eval (All p lst) = Eval (Foldr (Bicomap p Pure (&&)) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata And (a :: t Bool) (b :: Bool)

Instances1Eval

type Eval (And lst) = Eval (Foldr (&&) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata Any (b :: a -> Exp Bool) (c :: t a) (d :: Bool)

Instances1Eval

type Eval (Any p lst) = Eval (Foldr (Bicomap p Pure (||)) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata Concat (a :: t m) (b :: m)

Instances1Eval

type Eval (Concat xs) = Eval (FoldMap Pure xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata ConcatMap (c :: a -> Exp [b]) (d :: t a) (e :: [b])

Instances1Eval

type Eval (ConcatMap f xs) = Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata FoldMap (b :: a -> Exp m) (c :: t a) (d :: m)

Instances6Eval

type Eval (FoldMap f 'Nothing) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (FoldMap f '[]) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (FoldMap f ('Left _a)) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (FoldMap f ('Right x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (FoldMap f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (FoldMap f (x ': xs)) = Eval (f x) <> Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

typetype FoldMapDefault_ (f :: a -> Exp k) (xs :: t a) = Eval (Foldr (Bicomap f Pure (.<>)) MEmpty xs)

datadata Foldr (c :: a -> b -> Exp b) (d :: b) (e :: t a) (f :: b)

Instances6Eval

type Eval (Foldr f y 'Nothing) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (Foldr f y '[]) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (Foldr f y ('Left _a)) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (Foldr f y ('Right x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (Foldr f y ('Just x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
type Eval (Foldr f y (x ': xs)) = Eval (f x (Eval (Foldr f y xs)))Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

type

type FoldrDefault_ (f :: a -> k -> Exp k) (y :: k) (xs :: t a) = Eval (UnEndo (Eval (FoldMap (Pure1 'Endo <=< Pure1 f) xs)) y)

datadata Or (a :: t Bool) (b :: Bool)

Instances1Eval

type Eval (Or lst) = Eval (Foldr (||) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata Sum (a :: t Nat) (b :: Nat)

Instances1Eval

type Eval (Sum ns) = Eval (Foldr (+) 0 ns)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable