Data.Foldable.Singletons

Defines the promoted and singled versions of the Foldable type class.

Documentation

class PFoldable t

Associated Types

type Fold (arg :: t m) :: m

type Fold a = Apply Fold_6989586621680110620Sym0 a

type FoldMap (arg :: (~>) a m) (arg :: t a) :: m

type FoldMap a a = Apply (Apply FoldMap_6989586621680110630Sym0 a) a

type Foldr (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b

type Foldr a a a = Apply (Apply (Apply Foldr_6989586621680110644Sym0 a) a) a

type Foldr' (arg :: (~>) a ((~>) b b)) (arg :: b) (arg :: t a) :: b

type Foldr' a a a = Apply (Apply (Apply Foldr'_6989586621680110659Sym0 a) a) a

type Foldl (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b

type Foldl a a a = Apply (Apply (Apply Foldl_6989586621680110682Sym0 a) a) a

type Foldl' (arg :: (~>) b ((~>) a b)) (arg :: b) (arg :: t a) :: b

type Foldl' a a a = Apply (Apply (Apply Foldl'_6989586621680110697Sym0 a) a) a

type Foldr1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a

type Foldr1 a a = Apply (Apply Foldr1_6989586621680110719Sym0 a) a

type Foldl1 (arg :: (~>) a ((~>) a a)) (arg :: t a) :: a

type Foldl1 a a = Apply (Apply Foldl1_6989586621680110740Sym0 a) a

type ToList (arg :: t a) :: [a]

type ToList a = Apply ToList_6989586621680110760Sym0 a

type Null (arg :: t a) :: Bool

type Null a = Apply Null_6989586621680110769Sym0 a

type Length (arg :: t a) :: Natural

type Length a = Apply Length_6989586621680110786Sym0 a

type Elem (arg :: a) (arg :: t a) :: Bool

type Elem a a = Apply (Apply Elem_6989586621680110805Sym0 a) a

type Maximum (arg :: t a) :: a

type Maximum a = Apply Maximum_6989586621680110819Sym0 a

type Minimum (arg :: t a) :: a

type Minimum a = Apply Minimum_6989586621680110834Sym0 a

type Sum (arg :: t a) :: a

type Sum a = Apply Sum_6989586621680110849Sym0 a

type Product (arg :: t a) :: a

type Product a = Apply Product_6989586621680110858Sym0 a

Instances

PFoldable Identity

Defined in Data.Functor.Identity.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable First

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Last

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable First

Defined in Data.Semigroup.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Last

Defined in Data.Semigroup.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Max

Defined in Data.Semigroup.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Min

Defined in Data.Semigroup.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Dual

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Product

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Sum

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable NonEmpty

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable Maybe

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable List

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Either a)

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Proxy :: Type -> Type)

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Arg a)

Defined in Data.Semigroup.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable ((,) a)

Defined in Data.Foldable.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Const m :: Type -> Type)

Defined in Data.Functor.Const.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Product f g)

Defined in Data.Functor.Product.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Sum f g)

Defined in Data.Functor.Sum.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

PFoldable (Compose f g)

Defined in Data.Functor.Compose.Singletons

Associated Types

type Fold arg :: m

type FoldMap arg arg1 :: m

type Foldr arg arg1 arg2 :: b

type Foldr' arg arg1 arg2 :: b

type Foldl arg arg1 arg2 :: b

type Foldl' arg arg1 arg2 :: b

type Foldr1 arg arg1 :: a

type Foldl1 arg arg1 :: a

type ToList arg :: [a]

type Null arg :: Bool

type Length arg :: Natural

type Elem arg arg1 :: Bool

type Maximum arg :: a

type Minimum arg :: a

type Sum arg :: a

type Product arg :: a

class SFoldable t where

Minimal complete definition

Nothing

Methods

sFold :: forall (t :: t m). SMonoid m => Sing t -> Sing (Apply FoldSym0 t :: m) :: Type

default sFold :: forall (t :: t m). ((Apply FoldSym0 t :: m) ~ Apply Fold_6989586621680110620Sym0 t, SMonoid m) => Sing t -> Sing (Apply FoldSym0 t :: m) :: Type

sFoldMap :: forall (t :: (~>) a m) (t :: t a). SMonoid m => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m) :: Type

default sFoldMap :: forall (t :: (~>) a m) (t :: t a). ((Apply (Apply FoldMapSym0 t) t :: m) ~ Apply (Apply FoldMap_6989586621680110630Sym0 t) t, SMonoid m) => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m) :: Type

sFoldr :: forall (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) :: Type

default sFoldr :: forall (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldrSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr_6989586621680110644Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) :: Type

sFoldr' :: forall (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) :: Type

default sFoldr' :: forall (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr'_6989586621680110659Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) :: Type

sFoldl :: forall (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) :: Type

default sFoldl :: forall (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldlSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl_6989586621680110682Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) :: Type

sFoldl' :: forall (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) :: Type

default sFoldl' :: forall (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl'_6989586621680110697Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) :: Type

sFoldr1 :: forall (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) :: Type

default sFoldr1 :: forall (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldr1Sym0 t) t :: a) ~ Apply (Apply Foldr1_6989586621680110719Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) :: Type

sFoldl1 :: forall (t :: (~>) a ((~>) a a)) (t :: t a). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) :: Type

default sFoldl1 :: forall (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldl1Sym0 t) t :: a) ~ Apply (Apply Foldl1_6989586621680110740Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) :: Type

sToList :: forall (t :: t a). Sing t -> Sing (Apply ToListSym0 t :: [a]) :: Type

default sToList :: forall (t :: t a). (Apply ToListSym0 t :: [a]) ~ Apply ToList_6989586621680110760Sym0 t => Sing t -> Sing (Apply ToListSym0 t :: [a]) :: Type

sNull :: forall (t :: t a). Sing t -> Sing (Apply NullSym0 t :: Bool) :: Type

default sNull :: forall (t :: t a). (Apply NullSym0 t :: Bool) ~ Apply Null_6989586621680110769Sym0 t => Sing t -> Sing (Apply NullSym0 t :: Bool) :: Type

sLength :: forall (t :: t a). Sing t -> Sing (Apply LengthSym0 t :: Natural) :: Type

default sLength :: forall (t :: t a). (Apply LengthSym0 t :: Natural) ~ Apply Length_6989586621680110786Sym0 t => Sing t -> Sing (Apply LengthSym0 t :: Natural) :: Type

sElem :: forall (t :: a) (t :: t a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) :: Type

default sElem :: forall (t :: a) (t :: t a). ((Apply (Apply ElemSym0 t) t :: Bool) ~ Apply (Apply Elem_6989586621680110805Sym0 t) t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) :: Type

sMaximum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MaximumSym0 t :: a)

default sMaximum :: forall a (t :: t a). ((Apply MaximumSym0 t :: a) ~ Apply Maximum_6989586621680110819Sym0 t, SOrd a) => Sing t -> Sing (Apply MaximumSym0 t :: a)

sMinimum :: forall a (t :: t a). SOrd a => Sing t -> Sing (Apply MinimumSym0 t :: a)

default sMinimum :: forall a (t :: t a). ((Apply MinimumSym0 t :: a) ~ Apply Minimum_6989586621680110834Sym0 t, SOrd a) => Sing t -> Sing (Apply MinimumSym0 t :: a)

sSum :: forall (t :: t a). SNum a => Sing t -> Sing (Apply SumSym0 t :: a) :: Type

default sSum :: forall (t :: t a). ((Apply SumSym0 t :: a) ~ Apply Sum_6989586621680110849Sym0 t, SNum a) => Sing t -> Sing (Apply SumSym0 t :: a) :: Type

sProduct :: forall (t :: t a). SNum a => Sing t -> Sing (Apply ProductSym0 t :: a) :: Type

default sProduct :: forall (t :: t a). ((Apply ProductSym0 t :: a) ~ Apply Product_6989586621680110858Sym0 t, SNum a) => Sing t -> Sing (Apply ProductSym0 t :: a) :: Type

Instances

SFoldable Identity

Defined in Data.Functor.Identity.Singletons

Methods

sFold :: forall m (t1 :: Identity m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Identity a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Identity a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Identity a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Identity a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Identity a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Identity a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Identity a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Identity a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Identity a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Identity a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable First

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: First m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: First a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: First a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: First a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: First a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: First a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: First a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: First a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: First a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: First a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Last

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Last m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Last a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Last a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Last a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Last a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Last a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Last a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable First

Defined in Data.Semigroup.Singletons

Methods

sFold :: forall m (t1 :: First m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: First a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: First a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: First a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: First a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: First a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: First a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: First a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: First a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: First a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: First a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Last

Defined in Data.Semigroup.Singletons

Methods

sFold :: forall m (t1 :: Last m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Last a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Last a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Last a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Last a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Last a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Last a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Last a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Last a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Max

Defined in Data.Semigroup.Singletons

Methods

sFold :: forall m (t1 :: Max m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Max a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Max a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Max a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Max a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Max a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Max a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Max a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Max a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Max a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Max a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Min

Defined in Data.Semigroup.Singletons

Methods

sFold :: forall m (t1 :: Min m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Min a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Min a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Min a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Min a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Min a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Min a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Min a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Min a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Min a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Min a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Dual

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Dual m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Dual a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Dual a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Dual a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Dual a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Dual a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Dual a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Dual a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Dual a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Dual a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Dual a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Dual a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Dual a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Dual a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Dual a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Dual a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Product

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Product m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Product a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Product a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Product a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Product a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Product a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Product a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Product a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Product a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Product a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Product a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Product a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Product a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Product a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Product a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Product a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Sum

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Sum m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Sum a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Sum a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Sum a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Sum a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Sum a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Sum a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Sum a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Sum a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Sum a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Sum a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Sum a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Sum a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Sum a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Sum a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Sum a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable NonEmpty

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: NonEmpty m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: NonEmpty a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: NonEmpty a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: NonEmpty a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: NonEmpty a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: NonEmpty a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: NonEmpty a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: NonEmpty a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: NonEmpty a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: NonEmpty a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable Maybe

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Maybe m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Maybe a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Maybe a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Maybe a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Maybe a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Maybe a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Maybe a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable List

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: [m]). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: [a]). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: [a]). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: [a]). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: [a]). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: [a]). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: [a]). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: [a]). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: [a]). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: [a]). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable (Either a)

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Either a m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a0 m (t1 :: a0 ~> m) (t2 :: Either a a0). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: Either a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: Either a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: Either a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: Either a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: Either a a0). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: Either a a0). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a0 (t1 :: Either a a0). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a0 (t1 :: Either a a0). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a0 (t1 :: Either a a0). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a0 (t1 :: a0) (t2 :: Either a a0). SEq a0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a0 (t1 :: Either a a0). SOrd a0 => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a0 (t1 :: Either a a0). SOrd a0 => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a0 (t1 :: Either a a0). SNum a0 => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a0 (t1 :: Either a a0). SNum a0 => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable (Proxy :: Type -> Type)

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: Proxy m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Proxy a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Proxy a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Proxy a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Proxy a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Proxy a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Proxy a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Proxy a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Proxy a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Proxy a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Proxy a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Proxy a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Proxy a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Proxy a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Proxy a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Proxy a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable (Arg a)

Defined in Data.Semigroup.Singletons

Methods

sFold :: forall m (t1 :: Arg a m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a0 m (t1 :: a0 ~> m) (t2 :: Arg a a0). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: Arg a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: Arg a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: Arg a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: Arg a a0). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: Arg a a0). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: Arg a a0). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a0 (t1 :: Arg a a0). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a0 (t1 :: Arg a a0). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a0 (t1 :: Arg a a0). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a0 (t1 :: a0) (t2 :: Arg a a0). SEq a0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a0 (t1 :: Arg a a0). SOrd a0 => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a0 (t1 :: Arg a a0). SOrd a0 => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a0 (t1 :: Arg a a0). SNum a0 => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a0 (t1 :: Arg a a0). SNum a0 => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable ((,) a)

Defined in Data.Foldable.Singletons

Methods

sFold :: forall m (t1 :: (a, m)). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a0 m (t1 :: a0 ~> m) (t2 :: (a, a0)). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: (a, a0)). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a0 b (t1 :: a0 ~> (b ~> b)) (t2 :: b) (t3 :: (a, a0)). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: (a, a0)). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a0 (t1 :: b ~> (a0 ~> b)) (t2 :: b) (t3 :: (a, a0)). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: (a, a0)). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a0 (t1 :: a0 ~> (a0 ~> a0)) (t2 :: (a, a0)). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a0 (t1 :: (a, a0)). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a0 (t1 :: (a, a0)). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a0 (t1 :: (a, a0)). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a0 (t1 :: a0) (t2 :: (a, a0)). SEq a0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a0 (t1 :: (a, a0)). SOrd a0 => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a0 (t1 :: (a, a0)). SOrd a0 => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a0 (t1 :: (a, a0)). SNum a0 => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a0 (t1 :: (a, a0)). SNum a0 => Sing t1 -> Sing (Apply ProductSym0 t1)

SFoldable (Const m :: Type -> Type)

Defined in Data.Functor.Const.Singletons

Methods

sFold :: forall m0 (t1 :: Const m m0). SMonoid m0 => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m0 (t1 :: a ~> m0) (t2 :: Const m a). SMonoid m0 => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Const m a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Const m a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Const m a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Const m a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Const m a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Const m a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Const m a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Const m a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Const m a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Const m a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Const m a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Const m a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Const m a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Const m a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

(SFoldable f, SFoldable g) => SFoldable (Product f g)

Defined in Data.Functor.Product.Singletons

Methods

sFold :: forall m (t1 :: Product f g m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Product f g a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Product f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Product f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Product f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Product f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Product f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Product f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Product f g a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Product f g a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Product f g a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Product f g a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Product f g a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Product f g a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Product f g a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Product f g a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

(SFoldable f, SFoldable g) => SFoldable (Sum f g)

Defined in Data.Functor.Sum.Singletons

Methods

sFold :: forall m (t1 :: Sum f g m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Sum f g a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Sum f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Sum f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Sum f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Sum f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Sum f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Sum f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Sum f g a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Sum f g a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Sum f g a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Sum f g a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Sum f g a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Sum f g a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Sum f g a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Sum f g a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

(SFoldable f, SFoldable g) => SFoldable (Compose f g)

Defined in Data.Functor.Compose.Singletons

Methods

sFold :: forall m (t1 :: Compose f g m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1)

sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Compose f g a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2)

sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Compose f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3)

sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Compose f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3)

sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Compose f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3)

sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Compose f g a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3)

sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Compose f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2)

sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Compose f g a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2)

sToList :: forall a (t1 :: Compose f g a). Sing t1 -> Sing (Apply ToListSym0 t1)

sNull :: forall a (t1 :: Compose f g a). Sing t1 -> Sing (Apply NullSym0 t1)

sLength :: forall a (t1 :: Compose f g a). Sing t1 -> Sing (Apply LengthSym0 t1)

sElem :: forall a (t1 :: a) (t2 :: Compose f g a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2)

sMaximum :: forall a (t1 :: Compose f g a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1)

sMinimum :: forall a (t1 :: Compose f g a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1)

sSum :: forall a (t1 :: Compose f g a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1)

sProduct :: forall a (t1 :: Compose f g a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1)

type family FoldrM (a :: (~>) a ((~>) b (m b))) (a :: b) (a :: t a) :: m b where ...

Equations

FoldrM f z0 xs = Apply (Apply (Apply (Apply FoldlSym0 (Let6989586621680110539F'Sym3 f z0 xs)) ReturnSym0) xs) z0

sFoldrM :: forall (t :: (~>) a ((~>) b (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrMSym0 t) t) t :: m b) :: Type

type family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...

Equations

FoldlM f z0 xs = Apply (Apply (Apply (Apply FoldrSym0 (Let6989586621680110521F'Sym3 f z0 xs)) ReturnSym0) xs) z0

sFoldlM :: forall (t :: (~>) b ((~>) a (m b))) (t :: b) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlMSym0 t) t) t :: m b) :: Type

type family Traverse_ (a :: (~>) a (f b)) (a :: t a) :: f () where ...

Equations

Traverse_ f a_6989586621680110502 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (*>@#@$)) f)) (Apply PureSym0 Tuple0Sym0)) a_6989586621680110502

sTraverse_ :: forall (t :: (~>) a (f b)) (t :: t a). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply Traverse_Sym0 t) t :: f ()) :: Type

type family For_ (a :: t a) (a :: (~>) a (f b)) :: f () where ...

Equations

For_ a_6989586621680110491 a_6989586621680110493 = Apply (Apply (Apply FlipSym0 Traverse_Sym0) a_6989586621680110491) a_6989586621680110493

sFor_ :: forall (t :: t a) (t :: (~>) a (f b)). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply For_Sym0 t) t :: f ()) :: Type

type family SequenceA_ (a :: t (f a)) :: f () where ...

Equations

SequenceA_ a_6989586621680110465 = Apply (Apply (Apply FoldrSym0 (*>@#@$)) (Apply PureSym0 Tuple0Sym0)) a_6989586621680110465

sSequenceA_ :: forall (t :: t (f a)). (SFoldable t, SApplicative f) => Sing t -> Sing (Apply SequenceA_Sym0 t :: f ()) :: Type

type family Asum (a :: t (f a)) :: f a where ...

Equations

Asum a_6989586621680110453 = Apply (Apply (Apply FoldrSym0 (<|>@#@$)) EmptySym0) a_6989586621680110453

sAsum :: forall (t :: t (f a)). (SFoldable t, SAlternative f) => Sing t -> Sing (Apply AsumSym0 t :: f a) :: Type

type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...

Equations

MapM_ f a_6989586621680110482 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (.@#@$) (>>@#@$)) f)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680110482

sMapM_ :: forall (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ()) :: Type

type family ForM_ (a :: t a) (a :: (~>) a (m b)) :: m () where ...

Equations

ForM_ a_6989586621680110471 a_6989586621680110473 = Apply (Apply (Apply FlipSym0 MapM_Sym0) a_6989586621680110471) a_6989586621680110473

sForM_ :: forall (t :: t a) (t :: (~>) a (m b)). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForM_Sym0 t) t :: m ()) :: Type

type family Sequence_ (a :: t (m a)) :: m () where ...

Equations

Sequence_ a_6989586621680110459 = Apply (Apply (Apply FoldrSym0 (>>@#@$)) (Apply ReturnSym0 Tuple0Sym0)) a_6989586621680110459

sSequence_ :: forall (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ()) :: Type

type family Msum (a :: t (m a)) :: m a where ...

Equations

Msum a_6989586621680110447 = Apply AsumSym0 a_6989586621680110447

sMsum :: forall (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a) :: Type

type family Concat (a :: t [a]) :: [a] where ...

Equations

Concat xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621680110442Sym0 xs)) NilSym0) xs

sConcat :: forall (t :: t [a]). SFoldable t => Sing t -> Sing (Apply ConcatSym0 t :: [a]) :: Type

type family ConcatMap (a :: (~>) a [b]) (a :: t a) :: [b] where ...

Equations

ConcatMap f xs = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621680110433Sym0 f) xs)) NilSym0) xs

sConcatMap :: forall (t :: (~>) a [b]) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b]) :: Type

type family And (a :: t Bool) :: Bool where ...

Equations

And a_6989586621680110420 = Apply (Apply (Apply (.@#@$) GetAllSym0) (Apply FoldMapSym0 All_Sym0)) a_6989586621680110420

sAnd :: forall (t :: t Bool). SFoldable t => Sing t -> Sing (Apply AndSym0 t :: Bool) :: Type

type family Or (a :: t Bool) :: Bool where ...

Equations

Or a_6989586621680110414 = Apply (Apply (Apply (.@#@$) GetAnySym0) (Apply FoldMapSym0 Any_Sym0)) a_6989586621680110414

sOr :: forall (t :: t Bool). SFoldable t => Sing t -> Sing (Apply OrSym0 t :: Bool) :: Type

type family Any (a :: (~>) a Bool) (a :: t a) :: Bool where ...

Equations

Any p a_6989586621680110405 = Apply (Apply (Apply (.@#@$) GetAnySym0) (Apply FoldMapSym0 (Apply (Apply (.@#@$) Any_Sym0) p))) a_6989586621680110405

sAny :: forall (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool) :: Type

type family All (a :: (~>) a Bool) (a :: t a) :: Bool where ...

Equations

All p a_6989586621680110396 = Apply (Apply (Apply (.@#@$) GetAllSym0) (Apply FoldMapSym0 (Apply (Apply (.@#@$) All_Sym0) p))) a_6989586621680110396

sAll :: forall (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) :: Type

type family MaximumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...

Equations

MaximumBy cmp a_6989586621680110376 = Apply (Apply Foldl1Sym0 (Let6989586621680110385Max'Sym2 cmp a_6989586621680110376)) a_6989586621680110376

sMaximumBy :: forall (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MaximumBySym0 t) t :: a) :: Type

type family MinimumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...

Equations

MinimumBy cmp a_6989586621680110356 = Apply (Apply Foldl1Sym0 (Let6989586621680110365Min'Sym2 cmp a_6989586621680110356)) a_6989586621680110356

sMinimumBy :: forall (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MinimumBySym0 t) t :: a) :: Type

type family NotElem (a :: a) (a :: t a) :: Bool where ...

Equations

NotElem x a_6989586621680110347 = Apply (Apply (Apply (.@#@$) NotSym0) (Apply ElemSym0 x)) a_6989586621680110347

sNotElem :: forall (t :: a) (t :: t a). (SFoldable t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) :: Type

type family Find (a :: (~>) a Bool) (a :: t a) :: Maybe a where ...

Equations

Find p a_6989586621680110329 = Apply (Apply (Apply (.@#@$) GetFirstSym0) (Apply FoldMapSym0 (Apply (Apply Lambda_6989586621680110338Sym0 p) a_6989586621680110329))) a_6989586621680110329

sFind :: forall (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply FindSym0 t) t :: Maybe a) :: Type

Defunctionalization symbols

data FoldSym0 :: (~>) (t m) m

Instances

(SFoldable t, SMonoid m) => SingI (FoldSym0 :: TyFun (t m) m -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldSym0

SuppressUnusedWarnings (FoldSym0 :: TyFun (t m) m -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldSym0 :: TyFun (t m) m -> Type) (a6989586621680110549 :: t m)

Defined in Data.Foldable.Singletons

type Apply (FoldSym0 :: TyFun (t m) m -> Type) (a6989586621680110549 :: t m) = Fold a6989586621680110549

type family FoldSym1 (a6989586621680110549 :: t m) :: m where ...

Equations

FoldSym1 a6989586621680110549 = Fold a6989586621680110549

data FoldMapSym0 :: (~>) ((~>) a m) ((~>) (t a) m)

Instances

(SFoldable t, SMonoid m) => SingI (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldMapSym0

SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) (a6989586621680110553 :: a ~> m)

Defined in Data.Foldable.Singletons

type Apply (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) (a6989586621680110553 :: a ~> m) = FoldMapSym1 a6989586621680110553 :: TyFun (t a) m -> Type

data FoldMapSym1 (a6989586621680110553 :: (~>) a m) :: (~>) (t a) m

Instances

(SFoldable t, SMonoid m) => SingI1 (FoldMapSym1 :: (a ~> m) -> TyFun (t a) m -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldMapSym1 x)

(SFoldable t, SMonoid m, SingI d) => SingI (FoldMapSym1 d :: TyFun (t a) m -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldMapSym1 d)

SuppressUnusedWarnings (FoldMapSym1 a6989586621680110553 :: TyFun (t a) m -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldMapSym1 a6989586621680110553 :: TyFun (t a) m -> Type) (a6989586621680110554 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FoldMapSym1 a6989586621680110553 :: TyFun (t a) m -> Type) (a6989586621680110554 :: t a) = FoldMap a6989586621680110553 a6989586621680110554

type family FoldMapSym2 (a6989586621680110553 :: (~>) a m) (a6989586621680110554 :: t a) :: m where ...

Equations

FoldMapSym2 a6989586621680110553 a6989586621680110554 = FoldMap a6989586621680110553 a6989586621680110554

data FoldrSym0 :: (~>) ((~>) a ((~>) b b)) ((~>) b ((~>) (t a) b))

Instances

SFoldable t => SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldrSym0

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110559 :: a ~> (b ~> b))

Defined in Data.Foldable.Singletons

type Apply (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110559 :: a ~> (b ~> b)) = FoldrSym1 a6989586621680110559 :: TyFun b (t a ~> b) -> Type

data FoldrSym1 (a6989586621680110559 :: (~>) a ((~>) b b)) :: (~>) b ((~>) (t a) b)

Instances

SFoldable t => SingI1 (FoldrSym1 :: (a ~> (b ~> b)) -> TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldrSym1 x)

(SFoldable t, SingI d) => SingI (FoldrSym1 d :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldrSym1 d)

SuppressUnusedWarnings (FoldrSym1 a6989586621680110559 :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym1 a6989586621680110559 :: TyFun b (t a ~> b) -> Type) (a6989586621680110560 :: b)

Defined in Data.Foldable.Singletons

type Apply (FoldrSym1 a6989586621680110559 :: TyFun b (t a ~> b) -> Type) (a6989586621680110560 :: b) = FoldrSym2 a6989586621680110559 a6989586621680110560 :: TyFun (t a) b -> Type

data FoldrSym2 (a6989586621680110559 :: (~>) a ((~>) b b)) (a6989586621680110560 :: b) :: (~>) (t a) b

Instances

(SFoldable t, SingI d) => SingI1 (FoldrSym2 d :: b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldrSym2 d x)

SFoldable t => SingI2 (FoldrSym2 :: (a ~> (b ~> b)) -> b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (FoldrSym2 x y)

(SFoldable t, SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldrSym2 d1 d2)

SuppressUnusedWarnings (FoldrSym2 a6989586621680110559 a6989586621680110560 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym2 a6989586621680110559 a6989586621680110560 :: TyFun (t a) b -> Type) (a6989586621680110561 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FoldrSym2 a6989586621680110559 a6989586621680110560 :: TyFun (t a) b -> Type) (a6989586621680110561 :: t a) = Foldr a6989586621680110559 a6989586621680110560 a6989586621680110561

type family FoldrSym3 (a6989586621680110559 :: (~>) a ((~>) b b)) (a6989586621680110560 :: b) (a6989586621680110561 :: t a) :: b where ...

Equations

FoldrSym3 a6989586621680110559 a6989586621680110560 a6989586621680110561 = Foldr a6989586621680110559 a6989586621680110560 a6989586621680110561

data Foldr'Sym0 :: (~>) ((~>) a ((~>) b b)) ((~>) b ((~>) (t a) b))

Instances

SFoldable t => SingI (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Foldr'Sym0

SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110566 :: a ~> (b ~> b))

Defined in Data.Foldable.Singletons

type Apply (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110566 :: a ~> (b ~> b)) = Foldr'Sym1 a6989586621680110566 :: TyFun b (t a ~> b) -> Type

data Foldr'Sym1 (a6989586621680110566 :: (~>) a ((~>) b b)) :: (~>) b ((~>) (t a) b)

Instances

SFoldable t => SingI1 (Foldr'Sym1 :: (a ~> (b ~> b)) -> TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldr'Sym1 x)

(SFoldable t, SingI d) => SingI (Foldr'Sym1 d :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldr'Sym1 d)

SuppressUnusedWarnings (Foldr'Sym1 a6989586621680110566 :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldr'Sym1 a6989586621680110566 :: TyFun b (t a ~> b) -> Type) (a6989586621680110567 :: b)

Defined in Data.Foldable.Singletons

type Apply (Foldr'Sym1 a6989586621680110566 :: TyFun b (t a ~> b) -> Type) (a6989586621680110567 :: b) = Foldr'Sym2 a6989586621680110566 a6989586621680110567 :: TyFun (t a) b -> Type

data Foldr'Sym2 (a6989586621680110566 :: (~>) a ((~>) b b)) (a6989586621680110567 :: b) :: (~>) (t a) b

Instances

(SFoldable t, SingI d) => SingI1 (Foldr'Sym2 d :: b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldr'Sym2 d x)

SFoldable t => SingI2 (Foldr'Sym2 :: (a ~> (b ~> b)) -> b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (Foldr'Sym2 x y)

(SFoldable t, SingI d1, SingI d2) => SingI (Foldr'Sym2 d1 d2 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldr'Sym2 d1 d2)

SuppressUnusedWarnings (Foldr'Sym2 a6989586621680110566 a6989586621680110567 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldr'Sym2 a6989586621680110566 a6989586621680110567 :: TyFun (t a) b -> Type) (a6989586621680110568 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Foldr'Sym2 a6989586621680110566 a6989586621680110567 :: TyFun (t a) b -> Type) (a6989586621680110568 :: t a) = Foldr' a6989586621680110566 a6989586621680110567 a6989586621680110568

type family Foldr'Sym3 (a6989586621680110566 :: (~>) a ((~>) b b)) (a6989586621680110567 :: b) (a6989586621680110568 :: t a) :: b where ...

Equations

Foldr'Sym3 a6989586621680110566 a6989586621680110567 a6989586621680110568 = Foldr' a6989586621680110566 a6989586621680110567 a6989586621680110568

data FoldlSym0 :: (~>) ((~>) b ((~>) a b)) ((~>) b ((~>) (t a) b))

Instances

SFoldable t => SingI (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldlSym0

SuppressUnusedWarnings (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110573 :: b ~> (a ~> b))

Defined in Data.Foldable.Singletons

type Apply (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110573 :: b ~> (a ~> b)) = FoldlSym1 a6989586621680110573 :: TyFun b (t a ~> b) -> Type

data FoldlSym1 (a6989586621680110573 :: (~>) b ((~>) a b)) :: (~>) b ((~>) (t a) b)

Instances

SFoldable t => SingI1 (FoldlSym1 :: (b ~> (a ~> b)) -> TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldlSym1 x)

(SFoldable t, SingI d) => SingI (FoldlSym1 d :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldlSym1 d)

SuppressUnusedWarnings (FoldlSym1 a6989586621680110573 :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlSym1 a6989586621680110573 :: TyFun b (t a ~> b) -> Type) (a6989586621680110574 :: b)

Defined in Data.Foldable.Singletons

type Apply (FoldlSym1 a6989586621680110573 :: TyFun b (t a ~> b) -> Type) (a6989586621680110574 :: b) = FoldlSym2 a6989586621680110573 a6989586621680110574 :: TyFun (t a) b -> Type

data FoldlSym2 (a6989586621680110573 :: (~>) b ((~>) a b)) (a6989586621680110574 :: b) :: (~>) (t a) b

Instances

(SFoldable t, SingI d) => SingI1 (FoldlSym2 d :: b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldlSym2 d x)

SFoldable t => SingI2 (FoldlSym2 :: (b ~> (a ~> b)) -> b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (FoldlSym2 x y)

(SFoldable t, SingI d1, SingI d2) => SingI (FoldlSym2 d1 d2 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldlSym2 d1 d2)

SuppressUnusedWarnings (FoldlSym2 a6989586621680110573 a6989586621680110574 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlSym2 a6989586621680110573 a6989586621680110574 :: TyFun (t a) b -> Type) (a6989586621680110575 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FoldlSym2 a6989586621680110573 a6989586621680110574 :: TyFun (t a) b -> Type) (a6989586621680110575 :: t a) = Foldl a6989586621680110573 a6989586621680110574 a6989586621680110575

type family FoldlSym3 (a6989586621680110573 :: (~>) b ((~>) a b)) (a6989586621680110574 :: b) (a6989586621680110575 :: t a) :: b where ...

Equations

FoldlSym3 a6989586621680110573 a6989586621680110574 a6989586621680110575 = Foldl a6989586621680110573 a6989586621680110574 a6989586621680110575

data Foldl'Sym0 :: (~>) ((~>) b ((~>) a b)) ((~>) b ((~>) (t a) b))

Instances

SFoldable t => SingI (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Foldl'Sym0

SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110580 :: b ~> (a ~> b))

Defined in Data.Foldable.Singletons

type Apply (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) (a6989586621680110580 :: b ~> (a ~> b)) = Foldl'Sym1 a6989586621680110580 :: TyFun b (t a ~> b) -> Type

data Foldl'Sym1 (a6989586621680110580 :: (~>) b ((~>) a b)) :: (~>) b ((~>) (t a) b)

Instances

SFoldable t => SingI1 (Foldl'Sym1 :: (b ~> (a ~> b)) -> TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldl'Sym1 x)

(SFoldable t, SingI d) => SingI (Foldl'Sym1 d :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldl'Sym1 d)

SuppressUnusedWarnings (Foldl'Sym1 a6989586621680110580 :: TyFun b (t a ~> b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldl'Sym1 a6989586621680110580 :: TyFun b (t a ~> b) -> Type) (a6989586621680110581 :: b)

Defined in Data.Foldable.Singletons

type Apply (Foldl'Sym1 a6989586621680110580 :: TyFun b (t a ~> b) -> Type) (a6989586621680110581 :: b) = Foldl'Sym2 a6989586621680110580 a6989586621680110581 :: TyFun (t a) b -> Type

data Foldl'Sym2 (a6989586621680110580 :: (~>) b ((~>) a b)) (a6989586621680110581 :: b) :: (~>) (t a) b

Instances

(SFoldable t, SingI d) => SingI1 (Foldl'Sym2 d :: b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldl'Sym2 d x)

SFoldable t => SingI2 (Foldl'Sym2 :: (b ~> (a ~> b)) -> b -> TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (Foldl'Sym2 x y)

(SFoldable t, SingI d1, SingI d2) => SingI (Foldl'Sym2 d1 d2 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldl'Sym2 d1 d2)

SuppressUnusedWarnings (Foldl'Sym2 a6989586621680110580 a6989586621680110581 :: TyFun (t a) b -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldl'Sym2 a6989586621680110580 a6989586621680110581 :: TyFun (t a) b -> Type) (a6989586621680110582 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Foldl'Sym2 a6989586621680110580 a6989586621680110581 :: TyFun (t a) b -> Type) (a6989586621680110582 :: t a) = Foldl' a6989586621680110580 a6989586621680110581 a6989586621680110582

type family Foldl'Sym3 (a6989586621680110580 :: (~>) b ((~>) a b)) (a6989586621680110581 :: b) (a6989586621680110582 :: t a) :: b where ...

Equations

Foldl'Sym3 a6989586621680110580 a6989586621680110581 a6989586621680110582 = Foldl' a6989586621680110580 a6989586621680110581 a6989586621680110582

data Foldr1Sym0 :: (~>) ((~>) a ((~>) a a)) ((~>) (t a) a)

Instances

SFoldable t => SingI (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Foldr1Sym0

SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) (a6989586621680110586 :: a ~> (a ~> a))

Defined in Data.Foldable.Singletons

type Apply (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) (a6989586621680110586 :: a ~> (a ~> a)) = Foldr1Sym1 a6989586621680110586 :: TyFun (t a) a -> Type

data Foldr1Sym1 (a6989586621680110586 :: (~>) a ((~>) a a)) :: (~>) (t a) a

Instances

SFoldable t => SingI1 (Foldr1Sym1 :: (a ~> (a ~> a)) -> TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldr1Sym1 x)

(SFoldable t, SingI d) => SingI (Foldr1Sym1 d :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldr1Sym1 d)

SuppressUnusedWarnings (Foldr1Sym1 a6989586621680110586 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldr1Sym1 a6989586621680110586 :: TyFun (t a) a -> Type) (a6989586621680110587 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Foldr1Sym1 a6989586621680110586 :: TyFun (t a) a -> Type) (a6989586621680110587 :: t a) = Foldr1 a6989586621680110586 a6989586621680110587

type family Foldr1Sym2 (a6989586621680110586 :: (~>) a ((~>) a a)) (a6989586621680110587 :: t a) :: a where ...

Equations

Foldr1Sym2 a6989586621680110586 a6989586621680110587 = Foldr1 a6989586621680110586 a6989586621680110587

data Foldl1Sym0 :: (~>) ((~>) a ((~>) a a)) ((~>) (t a) a)

Instances

SFoldable t => SingI (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Foldl1Sym0

SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) (a6989586621680110591 :: a ~> (a ~> a))

Defined in Data.Foldable.Singletons

type Apply (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) (a6989586621680110591 :: a ~> (a ~> a)) = Foldl1Sym1 a6989586621680110591 :: TyFun (t a) a -> Type

data Foldl1Sym1 (a6989586621680110591 :: (~>) a ((~>) a a)) :: (~>) (t a) a

Instances

SFoldable t => SingI1 (Foldl1Sym1 :: (a ~> (a ~> a)) -> TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Foldl1Sym1 x)

(SFoldable t, SingI d) => SingI (Foldl1Sym1 d :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Foldl1Sym1 d)

SuppressUnusedWarnings (Foldl1Sym1 a6989586621680110591 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Foldl1Sym1 a6989586621680110591 :: TyFun (t a) a -> Type) (a6989586621680110592 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Foldl1Sym1 a6989586621680110591 :: TyFun (t a) a -> Type) (a6989586621680110592 :: t a) = Foldl1 a6989586621680110591 a6989586621680110592

type family Foldl1Sym2 (a6989586621680110591 :: (~>) a ((~>) a a)) (a6989586621680110592 :: t a) :: a where ...

Equations

Foldl1Sym2 a6989586621680110591 a6989586621680110592 = Foldl1 a6989586621680110591 a6989586621680110592

data ToListSym0 :: (~>) (t a) [a]

Instances

SFoldable t => SingI (ToListSym0 :: TyFun (t a) [a] -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ToListSym0

SuppressUnusedWarnings (ToListSym0 :: TyFun (t a) [a] -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ToListSym0 :: TyFun (t a) [a] -> Type) (a6989586621680110595 :: t a)

Defined in Data.Foldable.Singletons

type Apply (ToListSym0 :: TyFun (t a) [a] -> Type) (a6989586621680110595 :: t a) = ToList a6989586621680110595

type family ToListSym1 (a6989586621680110595 :: t a) :: [a] where ...

Equations

ToListSym1 a6989586621680110595 = ToList a6989586621680110595

data NullSym0 :: (~>) (t a) Bool

Instances

SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing NullSym0

SuppressUnusedWarnings (NullSym0 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (a6989586621680110598 :: t a)

Defined in Data.Foldable.Singletons

type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (a6989586621680110598 :: t a) = Null a6989586621680110598

type family NullSym1 (a6989586621680110598 :: t a) :: Bool where ...

Equations

NullSym1 a6989586621680110598 = Null a6989586621680110598

data LengthSym0 :: (~>) (t a) Natural

Instances

SFoldable t => SingI (LengthSym0 :: TyFun (t a) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing LengthSym0

SuppressUnusedWarnings (LengthSym0 :: TyFun (t a) Natural -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680110601 :: t a)

Defined in Data.Foldable.Singletons

type Apply (LengthSym0 :: TyFun (t a) Natural -> Type) (a6989586621680110601 :: t a) = Length a6989586621680110601

type family LengthSym1 (a6989586621680110601 :: t a) :: Natural where ...

Equations

LengthSym1 a6989586621680110601 = Length a6989586621680110601

data ElemSym0 :: (~>) a ((~>) (t a) Bool)

Instances

(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ElemSym0

SuppressUnusedWarnings (ElemSym0 :: TyFun a (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680110605 :: a)

Defined in Data.Foldable.Singletons

type Apply (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680110605 :: a) = ElemSym1 a6989586621680110605 :: TyFun (t a) Bool -> Type

data ElemSym1 (a6989586621680110605 :: a) :: (~>) (t a) Bool

Instances

(SFoldable t, SEq a) => SingI1 (ElemSym1 :: a -> TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ElemSym1 x)

(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (ElemSym1 d)

SuppressUnusedWarnings (ElemSym1 a6989586621680110605 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ElemSym1 a6989586621680110605 :: TyFun (t a) Bool -> Type) (a6989586621680110606 :: t a)

Defined in Data.Foldable.Singletons

type Apply (ElemSym1 a6989586621680110605 :: TyFun (t a) Bool -> Type) (a6989586621680110606 :: t a) = Elem a6989586621680110605 a6989586621680110606

type family ElemSym2 (a6989586621680110605 :: a) (a6989586621680110606 :: t a) :: Bool where ...

Equations

ElemSym2 a6989586621680110605 a6989586621680110606 = Elem a6989586621680110605 a6989586621680110606

data MaximumSym0 :: (~>) (t a) a

Instances

(SFoldable t, SOrd a) => SingI (MaximumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MaximumSym0

SuppressUnusedWarnings (MaximumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MaximumSym0 :: TyFun (t a) a -> Type) (a6989586621680110609 :: t a)

Defined in Data.Foldable.Singletons

type Apply (MaximumSym0 :: TyFun (t a) a -> Type) (a6989586621680110609 :: t a) = Maximum a6989586621680110609

type family MaximumSym1 (a6989586621680110609 :: t a) :: a where ...

Equations

MaximumSym1 a6989586621680110609 = Maximum a6989586621680110609

data MinimumSym0 :: (~>) (t a) a

Instances

(SFoldable t, SOrd a) => SingI (MinimumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MinimumSym0

SuppressUnusedWarnings (MinimumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MinimumSym0 :: TyFun (t a) a -> Type) (a6989586621680110612 :: t a)

Defined in Data.Foldable.Singletons

type Apply (MinimumSym0 :: TyFun (t a) a -> Type) (a6989586621680110612 :: t a) = Minimum a6989586621680110612

type family MinimumSym1 (a6989586621680110612 :: t a) :: a where ...

Equations

MinimumSym1 a6989586621680110612 = Minimum a6989586621680110612

data SumSym0 :: (~>) (t a) a

Instances

(SFoldable t, SNum a) => SingI (SumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing SumSym0

SuppressUnusedWarnings (SumSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SumSym0 :: TyFun (t a) a -> Type) (a6989586621680110615 :: t a)

Defined in Data.Foldable.Singletons

type Apply (SumSym0 :: TyFun (t a) a -> Type) (a6989586621680110615 :: t a) = Sum a6989586621680110615

type family SumSym1 (a6989586621680110615 :: t a) :: a where ...

Equations

SumSym1 a6989586621680110615 = Sum a6989586621680110615

data ProductSym0 :: (~>) (t a) a

Instances

(SFoldable t, SNum a) => SingI (ProductSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ProductSym0

SuppressUnusedWarnings (ProductSym0 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ProductSym0 :: TyFun (t a) a -> Type) (a6989586621680110618 :: t a)

Defined in Data.Foldable.Singletons

type Apply (ProductSym0 :: TyFun (t a) a -> Type) (a6989586621680110618 :: t a) = Product a6989586621680110618

type family ProductSym1 (a6989586621680110618 :: t a) :: a where ...

Equations

ProductSym1 a6989586621680110618 = Product a6989586621680110618

data FoldrMSym0 :: (~>) ((~>) a ((~>) b (m b))) ((~>) b ((~>) (t a) (m b)))

Instances

(SFoldable t, SMonad m) => SingI (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldrMSym0

SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680110533 :: a ~> (b ~> m b))

Defined in Data.Foldable.Singletons

type Apply (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680110533 :: a ~> (b ~> m b)) = FoldrMSym1 a6989586621680110533 :: TyFun b (t a ~> m b) -> Type

data FoldrMSym1 (a6989586621680110533 :: (~>) a ((~>) b (m b))) :: (~>) b ((~>) (t a) (m b))

Instances

(SFoldable t, SMonad m) => SingI1 (FoldrMSym1 :: (a ~> (b ~> m b)) -> TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldrMSym1 x)

(SFoldable t, SMonad m, SingI d) => SingI (FoldrMSym1 d :: TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldrMSym1 d)

SuppressUnusedWarnings (FoldrMSym1 a6989586621680110533 :: TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrMSym1 a6989586621680110533 :: TyFun b (t a ~> m b) -> Type) (a6989586621680110534 :: b)

Defined in Data.Foldable.Singletons

type Apply (FoldrMSym1 a6989586621680110533 :: TyFun b (t a ~> m b) -> Type) (a6989586621680110534 :: b) = FoldrMSym2 a6989586621680110533 a6989586621680110534 :: TyFun (t a) (m b) -> Type

data FoldrMSym2 (a6989586621680110533 :: (~>) a ((~>) b (m b))) (a6989586621680110534 :: b) :: (~>) (t a) (m b)

Instances

(SFoldable t, SMonad m, SingI d) => SingI1 (FoldrMSym2 d :: b -> TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldrMSym2 d x)

(SFoldable t, SMonad m) => SingI2 (FoldrMSym2 :: (a ~> (b ~> m b)) -> b -> TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (FoldrMSym2 x y)

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldrMSym2 d1 d2 :: TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldrMSym2 d1 d2)

SuppressUnusedWarnings (FoldrMSym2 a6989586621680110533 a6989586621680110534 :: TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrMSym2 a6989586621680110533 a6989586621680110534 :: TyFun (t a) (m b) -> Type) (a6989586621680110535 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FoldrMSym2 a6989586621680110533 a6989586621680110534 :: TyFun (t a) (m b) -> Type) (a6989586621680110535 :: t a) = FoldrM a6989586621680110533 a6989586621680110534 a6989586621680110535

type family FoldrMSym3 (a6989586621680110533 :: (~>) a ((~>) b (m b))) (a6989586621680110534 :: b) (a6989586621680110535 :: t a) :: m b where ...

Equations

FoldrMSym3 a6989586621680110533 a6989586621680110534 a6989586621680110535 = FoldrM a6989586621680110533 a6989586621680110534 a6989586621680110535

data FoldlMSym0 :: (~>) ((~>) b ((~>) a (m b))) ((~>) b ((~>) (t a) (m b)))

Instances

(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FoldlMSym0

SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680110515 :: b ~> (a ~> m b))

Defined in Data.Foldable.Singletons

type Apply (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) (a6989586621680110515 :: b ~> (a ~> m b)) = FoldlMSym1 a6989586621680110515 :: TyFun b (t a ~> m b) -> Type

data FoldlMSym1 (a6989586621680110515 :: (~>) b ((~>) a (m b))) :: (~>) b ((~>) (t a) (m b))

Instances

(SFoldable t, SMonad m) => SingI1 (FoldlMSym1 :: (b ~> (a ~> m b)) -> TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldlMSym1 x)

(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d :: TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldlMSym1 d)

SuppressUnusedWarnings (FoldlMSym1 a6989586621680110515 :: TyFun b (t a ~> m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym1 a6989586621680110515 :: TyFun b (t a ~> m b) -> Type) (a6989586621680110516 :: b)

Defined in Data.Foldable.Singletons

type Apply (FoldlMSym1 a6989586621680110515 :: TyFun b (t a ~> m b) -> Type) (a6989586621680110516 :: b) = FoldlMSym2 a6989586621680110515 a6989586621680110516 :: TyFun (t a) (m b) -> Type

data FoldlMSym2 (a6989586621680110515 :: (~>) b ((~>) a (m b))) (a6989586621680110516 :: b) :: (~>) (t a) (m b)

Instances

(SFoldable t, SMonad m, SingI d) => SingI1 (FoldlMSym2 d :: b -> TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FoldlMSym2 d x)

(SFoldable t, SMonad m) => SingI2 (FoldlMSym2 :: (b ~> (a ~> m b)) -> b -> TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing2 :: forall (x :: k1) (y :: k2). Sing x -> Sing y -> Sing (FoldlMSym2 x y)

(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 :: TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FoldlMSym2 d1 d2)

SuppressUnusedWarnings (FoldlMSym2 a6989586621680110515 a6989586621680110516 :: TyFun (t a) (m b) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FoldlMSym2 a6989586621680110515 a6989586621680110516 :: TyFun (t a) (m b) -> Type) (a6989586621680110517 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FoldlMSym2 a6989586621680110515 a6989586621680110516 :: TyFun (t a) (m b) -> Type) (a6989586621680110517 :: t a) = FoldlM a6989586621680110515 a6989586621680110516 a6989586621680110517

type family FoldlMSym3 (a6989586621680110515 :: (~>) b ((~>) a (m b))) (a6989586621680110516 :: b) (a6989586621680110517 :: t a) :: m b where ...

Equations

FoldlMSym3 a6989586621680110515 a6989586621680110516 a6989586621680110517 = FoldlM a6989586621680110515 a6989586621680110516 a6989586621680110517

data Traverse_Sym0 :: (~>) ((~>) a (f b)) ((~>) (t a) (f ()))

Instances

(SFoldable t, SApplicative f) => SingI (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Traverse_Sym0

SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type) (a6989586621680110507 :: a ~> f b)

Defined in Data.Foldable.Singletons

type Apply (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type) (a6989586621680110507 :: a ~> f b) = Traverse_Sym1 a6989586621680110507 :: TyFun (t a) (f ()) -> Type

data Traverse_Sym1 (a6989586621680110507 :: (~>) a (f b)) :: (~>) (t a) (f ())

Instances

(SFoldable t, SApplicative f) => SingI1 (Traverse_Sym1 :: (a ~> f b) -> TyFun (t a) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (Traverse_Sym1 x)

(SFoldable t, SApplicative f, SingI d) => SingI (Traverse_Sym1 d :: TyFun (t a) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (Traverse_Sym1 d)

SuppressUnusedWarnings (Traverse_Sym1 a6989586621680110507 :: TyFun (t a) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Traverse_Sym1 a6989586621680110507 :: TyFun (t a) (f ()) -> Type) (a6989586621680110508 :: t a)

Defined in Data.Foldable.Singletons

type Apply (Traverse_Sym1 a6989586621680110507 :: TyFun (t a) (f ()) -> Type) (a6989586621680110508 :: t a) = Traverse_ a6989586621680110507 a6989586621680110508

type family Traverse_Sym2 (a6989586621680110507 :: (~>) a (f b)) (a6989586621680110508 :: t a) :: f () where ...

Equations

Traverse_Sym2 a6989586621680110507 a6989586621680110508 = Traverse_ a6989586621680110507 a6989586621680110508

data For_Sym0 :: (~>) (t a) ((~>) ((~>) a (f b)) (f ()))

Instances

(SFoldable t, SApplicative f) => SingI (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing For_Sym0

SuppressUnusedWarnings (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type) (a6989586621680110498 :: t a)

Defined in Data.Foldable.Singletons

type Apply (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type) (a6989586621680110498 :: t a) = For_Sym1 a6989586621680110498 :: TyFun (a ~> f b) (f ()) -> Type

data For_Sym1 (a6989586621680110498 :: t a) :: (~>) ((~>) a (f b)) (f ())

Instances

(SFoldable t, SApplicative f) => SingI1 (For_Sym1 :: t a -> TyFun (a ~> f b) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (For_Sym1 x)

(SFoldable t, SApplicative f, SingI d) => SingI (For_Sym1 d :: TyFun (a ~> f b) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (For_Sym1 d)

SuppressUnusedWarnings (For_Sym1 a6989586621680110498 :: TyFun (a ~> f b) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (For_Sym1 a6989586621680110498 :: TyFun (a ~> f b) (f ()) -> Type) (a6989586621680110499 :: a ~> f b)

Defined in Data.Foldable.Singletons

type Apply (For_Sym1 a6989586621680110498 :: TyFun (a ~> f b) (f ()) -> Type) (a6989586621680110499 :: a ~> f b) = For_ a6989586621680110498 a6989586621680110499

type family For_Sym2 (a6989586621680110498 :: t a) (a6989586621680110499 :: (~>) a (f b)) :: f () where ...

Equations

For_Sym2 a6989586621680110498 a6989586621680110499 = For_ a6989586621680110498 a6989586621680110499

data SequenceA_Sym0 :: (~>) (t (f a)) (f ())

Instances

(SFoldable t, SApplicative f) => SingI (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing SequenceA_Sym0

SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) (a6989586621680110469 :: t (f a))

Defined in Data.Foldable.Singletons

type Apply (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) (a6989586621680110469 :: t (f a)) = SequenceA_ a6989586621680110469

type family SequenceA_Sym1 (a6989586621680110469 :: t (f a)) :: f () where ...

Equations

SequenceA_Sym1 a6989586621680110469 = SequenceA_ a6989586621680110469

data AsumSym0 :: (~>) (t (f a)) (f a)

Instances

(SFoldable t, SAlternative f) => SingI (AsumSym0 :: TyFun (t (f a)) (f a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing AsumSym0

SuppressUnusedWarnings (AsumSym0 :: TyFun (t (f a)) (f a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) (a6989586621680110457 :: t (f a))

Defined in Data.Foldable.Singletons

type Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) (a6989586621680110457 :: t (f a)) = Asum a6989586621680110457

type family AsumSym1 (a6989586621680110457 :: t (f a)) :: f a where ...

Equations

AsumSym1 a6989586621680110457 = Asum a6989586621680110457

data MapM_Sym0 :: (~>) ((~>) a (m b)) ((~>) (t a) (m ()))

Instances

(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MapM_Sym0

SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680110487 :: a ~> m b)

Defined in Data.Foldable.Singletons

type Apply (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) (a6989586621680110487 :: a ~> m b) = MapM_Sym1 a6989586621680110487 :: TyFun (t a) (m ()) -> Type

data MapM_Sym1 (a6989586621680110487 :: (~>) a (m b)) :: (~>) (t a) (m ())

Instances

(SFoldable t, SMonad m) => SingI1 (MapM_Sym1 :: (a ~> m b) -> TyFun (t a) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MapM_Sym1 x)

(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d :: TyFun (t a) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (MapM_Sym1 d)

SuppressUnusedWarnings (MapM_Sym1 a6989586621680110487 :: TyFun (t a) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapM_Sym1 a6989586621680110487 :: TyFun (t a) (m ()) -> Type) (a6989586621680110488 :: t a)

Defined in Data.Foldable.Singletons

type Apply (MapM_Sym1 a6989586621680110487 :: TyFun (t a) (m ()) -> Type) (a6989586621680110488 :: t a) = MapM_ a6989586621680110487 a6989586621680110488

type family MapM_Sym2 (a6989586621680110487 :: (~>) a (m b)) (a6989586621680110488 :: t a) :: m () where ...

Equations

MapM_Sym2 a6989586621680110487 a6989586621680110488 = MapM_ a6989586621680110487 a6989586621680110488

data ForM_Sym0 :: (~>) (t a) ((~>) ((~>) a (m b)) (m ()))

Instances

(SFoldable t, SMonad m) => SingI (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ForM_Sym0

SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type) (a6989586621680110478 :: t a)

Defined in Data.Foldable.Singletons

type Apply (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type) (a6989586621680110478 :: t a) = ForM_Sym1 a6989586621680110478 :: TyFun (a ~> m b) (m ()) -> Type

data ForM_Sym1 (a6989586621680110478 :: t a) :: (~>) ((~>) a (m b)) (m ())

Instances

(SFoldable t, SMonad m) => SingI1 (ForM_Sym1 :: t a -> TyFun (a ~> m b) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ForM_Sym1 x)

(SFoldable t, SMonad m, SingI d) => SingI (ForM_Sym1 d :: TyFun (a ~> m b) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (ForM_Sym1 d)

SuppressUnusedWarnings (ForM_Sym1 a6989586621680110478 :: TyFun (a ~> m b) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ForM_Sym1 a6989586621680110478 :: TyFun (a ~> m b) (m ()) -> Type) (a6989586621680110479 :: a ~> m b)

Defined in Data.Foldable.Singletons

type Apply (ForM_Sym1 a6989586621680110478 :: TyFun (a ~> m b) (m ()) -> Type) (a6989586621680110479 :: a ~> m b) = ForM_ a6989586621680110478 a6989586621680110479

type family ForM_Sym2 (a6989586621680110478 :: t a) (a6989586621680110479 :: (~>) a (m b)) :: m () where ...

Equations

ForM_Sym2 a6989586621680110478 a6989586621680110479 = ForM_ a6989586621680110478 a6989586621680110479

data Sequence_Sym0 :: (~>) (t (m a)) (m ())

Instances

(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing Sequence_Sym0

SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680110463 :: t (m a))

Defined in Data.Foldable.Singletons

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680110463 :: t (m a)) = Sequence_ a6989586621680110463

type family Sequence_Sym1 (a6989586621680110463 :: t (m a)) :: m () where ...

Equations

Sequence_Sym1 a6989586621680110463 = Sequence_ a6989586621680110463

data MsumSym0 :: (~>) (t (m a)) (m a)

Instances

(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MsumSym0

SuppressUnusedWarnings (MsumSym0 :: TyFun (t (m a)) (m a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680110451 :: t (m a))

Defined in Data.Foldable.Singletons

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680110451 :: t (m a)) = Msum a6989586621680110451

type family MsumSym1 (a6989586621680110451 :: t (m a)) :: m a where ...

Equations

MsumSym1 a6989586621680110451 = Msum a6989586621680110451

data ConcatSym0 :: (~>) (t [a]) [a]

Instances

SFoldable t => SingI (ConcatSym0 :: TyFun (t [a]) [a] -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ConcatSym0

SuppressUnusedWarnings (ConcatSym0 :: TyFun (t [a]) [a] -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConcatSym0 :: TyFun (t [a]) [a] -> Type) (a6989586621680110440 :: t [a])

Defined in Data.Foldable.Singletons

type Apply (ConcatSym0 :: TyFun (t [a]) [a] -> Type) (a6989586621680110440 :: t [a]) = Concat a6989586621680110440

type family ConcatSym1 (a6989586621680110440 :: t [a]) :: [a] where ...

Equations

ConcatSym1 a6989586621680110440 = Concat a6989586621680110440

data ConcatMapSym0 :: (~>) ((~>) a [b]) ((~>) (t a) [b])

Instances

SFoldable t => SingI (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing ConcatMapSym0

SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type) (a6989586621680110429 :: a ~> [b])

Defined in Data.Foldable.Singletons

type Apply (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type) (a6989586621680110429 :: a ~> [b]) = ConcatMapSym1 a6989586621680110429 :: TyFun (t a) [b] -> Type

data ConcatMapSym1 (a6989586621680110429 :: (~>) a [b]) :: (~>) (t a) [b]

Instances

SFoldable t => SingI1 (ConcatMapSym1 :: (a ~> [b]) -> TyFun (t a) [b] -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (ConcatMapSym1 x)

(SFoldable t, SingI d) => SingI (ConcatMapSym1 d :: TyFun (t a) [b] -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (ConcatMapSym1 d)

SuppressUnusedWarnings (ConcatMapSym1 a6989586621680110429 :: TyFun (t a) [b] -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConcatMapSym1 a6989586621680110429 :: TyFun (t a) [b] -> Type) (a6989586621680110430 :: t a)

Defined in Data.Foldable.Singletons

type Apply (ConcatMapSym1 a6989586621680110429 :: TyFun (t a) [b] -> Type) (a6989586621680110430 :: t a) = ConcatMap a6989586621680110429 a6989586621680110430

type family ConcatMapSym2 (a6989586621680110429 :: (~>) a [b]) (a6989586621680110430 :: t a) :: [b] where ...

Equations

ConcatMapSym2 a6989586621680110429 a6989586621680110430 = ConcatMap a6989586621680110429 a6989586621680110430

data AndSym0 :: (~>) (t Bool) Bool

Instances

SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing AndSym0

SuppressUnusedWarnings (AndSym0 :: TyFun (t Bool) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680110424 :: t Bool)

Defined in Data.Foldable.Singletons

type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680110424 :: t Bool) = And a6989586621680110424

type family AndSym1 (a6989586621680110424 :: t Bool) :: Bool where ...

Equations

AndSym1 a6989586621680110424 = And a6989586621680110424

data OrSym0 :: (~>) (t Bool) Bool

Instances

SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing OrSym0

SuppressUnusedWarnings (OrSym0 :: TyFun (t Bool) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680110418 :: t Bool)

Defined in Data.Foldable.Singletons

type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680110418 :: t Bool) = Or a6989586621680110418

type family OrSym1 (a6989586621680110418 :: t Bool) :: Bool where ...

Equations

OrSym1 a6989586621680110418 = Or a6989586621680110418

data AnySym0 :: (~>) ((~>) a Bool) ((~>) (t a) Bool)

Instances

SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing AnySym0

SuppressUnusedWarnings (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680110410 :: a ~> Bool)

Defined in Data.Foldable.Singletons

type Apply (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680110410 :: a ~> Bool) = AnySym1 a6989586621680110410 :: TyFun (t a) Bool -> Type

data AnySym1 (a6989586621680110410 :: (~>) a Bool) :: (~>) (t a) Bool

Instances

SFoldable t => SingI1 (AnySym1 :: (a ~> Bool) -> TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (AnySym1 x)

(SFoldable t, SingI d) => SingI (AnySym1 d :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (AnySym1 d)

SuppressUnusedWarnings (AnySym1 a6989586621680110410 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AnySym1 a6989586621680110410 :: TyFun (t a) Bool -> Type) (a6989586621680110411 :: t a)

Defined in Data.Foldable.Singletons

type Apply (AnySym1 a6989586621680110410 :: TyFun (t a) Bool -> Type) (a6989586621680110411 :: t a) = Any a6989586621680110410 a6989586621680110411

type family AnySym2 (a6989586621680110410 :: (~>) a Bool) (a6989586621680110411 :: t a) :: Bool where ...

Equations

AnySym2 a6989586621680110410 a6989586621680110411 = Any a6989586621680110410 a6989586621680110411

data AllSym0 :: (~>) ((~>) a Bool) ((~>) (t a) Bool)

Instances

SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing AllSym0

SuppressUnusedWarnings (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680110401 :: a ~> Bool)

Defined in Data.Foldable.Singletons

type Apply (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680110401 :: a ~> Bool) = AllSym1 a6989586621680110401 :: TyFun (t a) Bool -> Type

data AllSym1 (a6989586621680110401 :: (~>) a Bool) :: (~>) (t a) Bool

Instances

SFoldable t => SingI1 (AllSym1 :: (a ~> Bool) -> TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (AllSym1 x)

(SFoldable t, SingI d) => SingI (AllSym1 d :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (AllSym1 d)

SuppressUnusedWarnings (AllSym1 a6989586621680110401 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (AllSym1 a6989586621680110401 :: TyFun (t a) Bool -> Type) (a6989586621680110402 :: t a)

Defined in Data.Foldable.Singletons

type Apply (AllSym1 a6989586621680110401 :: TyFun (t a) Bool -> Type) (a6989586621680110402 :: t a) = All a6989586621680110401 a6989586621680110402

type family AllSym2 (a6989586621680110401 :: (~>) a Bool) (a6989586621680110402 :: t a) :: Bool where ...

Equations

AllSym2 a6989586621680110401 a6989586621680110402 = All a6989586621680110401 a6989586621680110402

data MaximumBySym0 :: (~>) ((~>) a ((~>) a Ordering)) ((~>) (t a) a)

Instances

SFoldable t => SingI (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MaximumBySym0

SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) (a6989586621680110381 :: a ~> (a ~> Ordering))

Defined in Data.Foldable.Singletons

type Apply (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) (a6989586621680110381 :: a ~> (a ~> Ordering)) = MaximumBySym1 a6989586621680110381 :: TyFun (t a) a -> Type

data MaximumBySym1 (a6989586621680110381 :: (~>) a ((~>) a Ordering)) :: (~>) (t a) a

Instances

SFoldable t => SingI1 (MaximumBySym1 :: (a ~> (a ~> Ordering)) -> TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MaximumBySym1 x)

(SFoldable t, SingI d) => SingI (MaximumBySym1 d :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (MaximumBySym1 d)

SuppressUnusedWarnings (MaximumBySym1 a6989586621680110381 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MaximumBySym1 a6989586621680110381 :: TyFun (t a) a -> Type) (a6989586621680110382 :: t a)

Defined in Data.Foldable.Singletons

type Apply (MaximumBySym1 a6989586621680110381 :: TyFun (t a) a -> Type) (a6989586621680110382 :: t a) = MaximumBy a6989586621680110381 a6989586621680110382

type family MaximumBySym2 (a6989586621680110381 :: (~>) a ((~>) a Ordering)) (a6989586621680110382 :: t a) :: a where ...

Equations

MaximumBySym2 a6989586621680110381 a6989586621680110382 = MaximumBy a6989586621680110381 a6989586621680110382

data MinimumBySym0 :: (~>) ((~>) a ((~>) a Ordering)) ((~>) (t a) a)

Instances

SFoldable t => SingI (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing MinimumBySym0

SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) (a6989586621680110361 :: a ~> (a ~> Ordering))

Defined in Data.Foldable.Singletons

type Apply (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) (a6989586621680110361 :: a ~> (a ~> Ordering)) = MinimumBySym1 a6989586621680110361 :: TyFun (t a) a -> Type

data MinimumBySym1 (a6989586621680110361 :: (~>) a ((~>) a Ordering)) :: (~>) (t a) a

Instances

SFoldable t => SingI1 (MinimumBySym1 :: (a ~> (a ~> Ordering)) -> TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (MinimumBySym1 x)

(SFoldable t, SingI d) => SingI (MinimumBySym1 d :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (MinimumBySym1 d)

SuppressUnusedWarnings (MinimumBySym1 a6989586621680110361 :: TyFun (t a) a -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MinimumBySym1 a6989586621680110361 :: TyFun (t a) a -> Type) (a6989586621680110362 :: t a)

Defined in Data.Foldable.Singletons

type Apply (MinimumBySym1 a6989586621680110361 :: TyFun (t a) a -> Type) (a6989586621680110362 :: t a) = MinimumBy a6989586621680110361 a6989586621680110362

type family MinimumBySym2 (a6989586621680110361 :: (~>) a ((~>) a Ordering)) (a6989586621680110362 :: t a) :: a where ...

Equations

MinimumBySym2 a6989586621680110361 a6989586621680110362 = MinimumBy a6989586621680110361 a6989586621680110362

data NotElemSym0 :: (~>) a ((~>) (t a) Bool)

Instances

(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing NotElemSym0

SuppressUnusedWarnings (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680110352 :: a)

Defined in Data.Foldable.Singletons

type Apply (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680110352 :: a) = NotElemSym1 a6989586621680110352 :: TyFun (t a) Bool -> Type

data NotElemSym1 (a6989586621680110352 :: a) :: (~>) (t a) Bool

Instances

(SFoldable t, SEq a) => SingI1 (NotElemSym1 :: a -> TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (NotElemSym1 x)

(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (NotElemSym1 d)

SuppressUnusedWarnings (NotElemSym1 a6989586621680110352 :: TyFun (t a) Bool -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NotElemSym1 a6989586621680110352 :: TyFun (t a) Bool -> Type) (a6989586621680110353 :: t a)

Defined in Data.Foldable.Singletons

type Apply (NotElemSym1 a6989586621680110352 :: TyFun (t a) Bool -> Type) (a6989586621680110353 :: t a) = NotElem a6989586621680110352 a6989586621680110353

type family NotElemSym2 (a6989586621680110352 :: a) (a6989586621680110353 :: t a) :: Bool where ...

Equations

NotElemSym2 a6989586621680110352 a6989586621680110353 = NotElem a6989586621680110352 a6989586621680110353

data FindSym0 :: (~>) ((~>) a Bool) ((~>) (t a) (Maybe a))

Instances

SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing FindSym0

SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) (a6989586621680110334 :: a ~> Bool)

Defined in Data.Foldable.Singletons

type Apply (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) (a6989586621680110334 :: a ~> Bool) = FindSym1 a6989586621680110334 :: TyFun (t a) (Maybe a) -> Type

data FindSym1 (a6989586621680110334 :: (~>) a Bool) :: (~>) (t a) (Maybe a)

Instances

SFoldable t => SingI1 (FindSym1 :: (a ~> Bool) -> TyFun (t a) (Maybe a) -> Type)

Defined in Data.Foldable.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (FindSym1 x)

(SFoldable t, SingI d) => SingI (FindSym1 d :: TyFun (t a) (Maybe a) -> Type)

Defined in Data.Foldable.Singletons

Methods

sing :: Sing (FindSym1 d)

SuppressUnusedWarnings (FindSym1 a6989586621680110334 :: TyFun (t a) (Maybe a) -> Type)

Defined in Data.Foldable.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FindSym1 a6989586621680110334 :: TyFun (t a) (Maybe a) -> Type) (a6989586621680110335 :: t a)

Defined in Data.Foldable.Singletons

type Apply (FindSym1 a6989586621680110334 :: TyFun (t a) (Maybe a) -> Type) (a6989586621680110335 :: t a) = Find a6989586621680110334 a6989586621680110335

type family FindSym2 (a6989586621680110334 :: (~>) a Bool) (a6989586621680110335 :: t a) :: Maybe a where ...

Equations

FindSym2 a6989586621680110334 a6989586621680110335 = Find a6989586621680110334 a6989586621680110335