singletons-2.5.1: A framework for generating singleton types

Copyright(C) 2018 Ryan Scott
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.Foldable

Contents

Description

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

Synopsis
  • class PFoldable (t :: Type -> Type) where
  • class SFoldable (t :: Type -> Type) where
  • type family FoldrM (a :: (~>) a ((~>) b (m b))) (a :: b) (a :: t a) :: m b where ...
  • sFoldrM :: forall t m a b (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 family FoldlM (a :: (~>) b ((~>) a (m b))) (a :: b) (a :: t a) :: m b where ...
  • sFoldlM :: forall t m b a (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 family Traverse_ (a :: (~>) a (f b)) (a :: t a) :: f () where ...
  • sTraverse_ :: forall t f a b (t :: (~>) a (f b)) (t :: t a). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply Traverse_Sym0 t) t :: f ())
  • type family For_ (a :: t a) (a :: (~>) a (f b)) :: f () where ...
  • sFor_ :: forall t f a b (t :: t a) (t :: (~>) a (f b)). (SFoldable t, SApplicative f) => Sing t -> Sing t -> Sing (Apply (Apply For_Sym0 t) t :: f ())
  • type family SequenceA_ (a :: t (f a)) :: f () where ...
  • sSequenceA_ :: forall t f a (t :: t (f a)). (SFoldable t, SApplicative f) => Sing t -> Sing (Apply SequenceA_Sym0 t :: f ())
  • type family Asum (a :: t (f a)) :: f a where ...
  • sAsum :: forall t f a (t :: t (f a)). (SFoldable t, SAlternative f) => Sing t -> Sing (Apply AsumSym0 t :: f a)
  • type family MapM_ (a :: (~>) a (m b)) (a :: t a) :: m () where ...
  • sMapM_ :: forall t m a b (t :: (~>) a (m b)) (t :: t a). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply MapM_Sym0 t) t :: m ())
  • type family ForM_ (a :: t a) (a :: (~>) a (m b)) :: m () where ...
  • sForM_ :: forall t m a b (t :: t a) (t :: (~>) a (m b)). (SFoldable t, SMonad m) => Sing t -> Sing t -> Sing (Apply (Apply ForM_Sym0 t) t :: m ())
  • type family Sequence_ (a :: t (m a)) :: m () where ...
  • sSequence_ :: forall t m a (t :: t (m a)). (SFoldable t, SMonad m) => Sing t -> Sing (Apply Sequence_Sym0 t :: m ())
  • type family Msum (a :: t (m a)) :: m a where ...
  • sMsum :: forall t m a (t :: t (m a)). (SFoldable t, SMonadPlus m) => Sing t -> Sing (Apply MsumSym0 t :: m a)
  • type family Concat (a :: t [a]) :: [a] where ...
  • sConcat :: forall t a (t :: t [a]). SFoldable t => Sing t -> Sing (Apply ConcatSym0 t :: [a])
  • type family ConcatMap (a :: (~>) a [b]) (a :: t a) :: [b] where ...
  • sConcatMap :: forall t a b (t :: (~>) a [b]) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b])
  • type family And (a :: t Bool) :: Bool where ...
  • sAnd :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply AndSym0 t :: Bool)
  • type family Or (a :: t Bool) :: Bool where ...
  • sOr :: forall t (t :: t Bool). SFoldable t => Sing t -> Sing (Apply OrSym0 t :: Bool)
  • type family Any (a :: (~>) a Bool) (a :: t a) :: Bool where ...
  • sAny :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AnySym0 t) t :: Bool)
  • type family All (a :: (~>) a Bool) (a :: t a) :: Bool where ...
  • sAll :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool)
  • type family MaximumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...
  • sMaximumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MaximumBySym0 t) t :: a)
  • type family MinimumBy (a :: (~>) a ((~>) a Ordering)) (a :: t a) :: a where ...
  • sMinimumBy :: forall t a (t :: (~>) a ((~>) a Ordering)) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply MinimumBySym0 t) t :: a)
  • type family NotElem (a :: a) (a :: t a) :: Bool where ...
  • sNotElem :: forall t a (t :: a) (t :: t a). (SFoldable t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool)
  • type family Find (a :: (~>) a Bool) (a :: t a) :: Maybe a where ...
  • sFind :: forall t a (t :: (~>) a Bool) (t :: t a). SFoldable t => Sing t -> Sing t -> Sing (Apply (Apply FindSym0 t) t :: Maybe a)
  • data FoldSym0 :: forall m6989586621680448445 t6989586621680448444. (~>) (t6989586621680448444 m6989586621680448445) m6989586621680448445
  • type FoldSym1 (arg6989586621680449067 :: t6989586621680448444 m6989586621680448445) = Fold arg6989586621680449067
  • data FoldMapSym0 :: forall a6989586621680448447 m6989586621680448446 t6989586621680448444. (~>) ((~>) a6989586621680448447 m6989586621680448446) ((~>) (t6989586621680448444 a6989586621680448447) m6989586621680448446)
  • data FoldMapSym1 (arg6989586621680449069 :: (~>) a6989586621680448447 m6989586621680448446) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448447) m6989586621680448446
  • type FoldMapSym2 (arg6989586621680449069 :: (~>) a6989586621680448447 m6989586621680448446) (arg6989586621680449070 :: t6989586621680448444 a6989586621680448447) = FoldMap arg6989586621680449069 arg6989586621680449070
  • data FoldrSym0 :: forall a6989586621680448448 b6989586621680448449 t6989586621680448444. (~>) ((~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) ((~>) b6989586621680448449 ((~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449))
  • data FoldrSym1 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) :: forall t6989586621680448444. (~>) b6989586621680448449 ((~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449)
  • data FoldrSym2 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) (arg6989586621680449074 :: b6989586621680448449) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449
  • type FoldrSym3 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) (arg6989586621680449074 :: b6989586621680448449) (arg6989586621680449075 :: t6989586621680448444 a6989586621680448448) = Foldr arg6989586621680449073 arg6989586621680449074 arg6989586621680449075
  • data Foldr'Sym0 :: forall a6989586621680448450 b6989586621680448451 t6989586621680448444. (~>) ((~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) ((~>) b6989586621680448451 ((~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451))
  • data Foldr'Sym1 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) :: forall t6989586621680448444. (~>) b6989586621680448451 ((~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451)
  • data Foldr'Sym2 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) (arg6989586621680449080 :: b6989586621680448451) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451
  • type Foldr'Sym3 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) (arg6989586621680449080 :: b6989586621680448451) (arg6989586621680449081 :: t6989586621680448444 a6989586621680448450) = Foldr' arg6989586621680449079 arg6989586621680449080 arg6989586621680449081
  • data FoldlSym0 :: forall a6989586621680448453 b6989586621680448452 t6989586621680448444. (~>) ((~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) ((~>) b6989586621680448452 ((~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452))
  • data FoldlSym1 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) :: forall t6989586621680448444. (~>) b6989586621680448452 ((~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452)
  • data FoldlSym2 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) (arg6989586621680449086 :: b6989586621680448452) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452
  • type FoldlSym3 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) (arg6989586621680449086 :: b6989586621680448452) (arg6989586621680449087 :: t6989586621680448444 a6989586621680448453) = Foldl arg6989586621680449085 arg6989586621680449086 arg6989586621680449087
  • data Foldl'Sym0 :: forall a6989586621680448455 b6989586621680448454 t6989586621680448444. (~>) ((~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) ((~>) b6989586621680448454 ((~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454))
  • data Foldl'Sym1 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) :: forall t6989586621680448444. (~>) b6989586621680448454 ((~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454)
  • data Foldl'Sym2 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) (arg6989586621680449092 :: b6989586621680448454) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454
  • type Foldl'Sym3 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) (arg6989586621680449092 :: b6989586621680448454) (arg6989586621680449093 :: t6989586621680448444 a6989586621680448455) = Foldl' arg6989586621680449091 arg6989586621680449092 arg6989586621680449093
  • data Foldr1Sym0 :: forall a6989586621680448456 t6989586621680448444. (~>) ((~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) ((~>) (t6989586621680448444 a6989586621680448456) a6989586621680448456)
  • data Foldr1Sym1 (arg6989586621680449097 :: (~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448456) a6989586621680448456
  • type Foldr1Sym2 (arg6989586621680449097 :: (~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) (arg6989586621680449098 :: t6989586621680448444 a6989586621680448456) = Foldr1 arg6989586621680449097 arg6989586621680449098
  • data Foldl1Sym0 :: forall a6989586621680448457 t6989586621680448444. (~>) ((~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) ((~>) (t6989586621680448444 a6989586621680448457) a6989586621680448457)
  • data Foldl1Sym1 (arg6989586621680449101 :: (~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448457) a6989586621680448457
  • type Foldl1Sym2 (arg6989586621680449101 :: (~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) (arg6989586621680449102 :: t6989586621680448444 a6989586621680448457) = Foldl1 arg6989586621680449101 arg6989586621680449102
  • data ToListSym0 :: forall a6989586621680448458 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448458) [a6989586621680448458]
  • type ToListSym1 (arg6989586621680449105 :: t6989586621680448444 a6989586621680448458) = ToList arg6989586621680449105
  • data NullSym0 :: forall a6989586621680448459 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448459) Bool
  • type NullSym1 (arg6989586621680449107 :: t6989586621680448444 a6989586621680448459) = Null arg6989586621680449107
  • data LengthSym0 :: forall a6989586621680448460 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448460) Nat
  • type LengthSym1 (arg6989586621680449109 :: t6989586621680448444 a6989586621680448460) = Length arg6989586621680449109
  • data ElemSym0 :: forall a6989586621680448461 t6989586621680448444. (~>) a6989586621680448461 ((~>) (t6989586621680448444 a6989586621680448461) Bool)
  • data ElemSym1 (arg6989586621680449111 :: a6989586621680448461) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448461) Bool
  • type ElemSym2 (arg6989586621680449111 :: a6989586621680448461) (arg6989586621680449112 :: t6989586621680448444 a6989586621680448461) = Elem arg6989586621680449111 arg6989586621680449112
  • data MaximumSym0 :: forall a6989586621680448462 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448462) a6989586621680448462
  • type MaximumSym1 (arg6989586621680449115 :: t6989586621680448444 a6989586621680448462) = Maximum arg6989586621680449115
  • data MinimumSym0 :: forall a6989586621680448463 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448463) a6989586621680448463
  • type MinimumSym1 (arg6989586621680449117 :: t6989586621680448444 a6989586621680448463) = Minimum arg6989586621680449117
  • data SumSym0 :: forall a6989586621680448464 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448464) a6989586621680448464
  • type SumSym1 (arg6989586621680449119 :: t6989586621680448444 a6989586621680448464) = Sum arg6989586621680449119
  • data ProductSym0 :: forall a6989586621680448465 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448465) a6989586621680448465
  • type ProductSym1 (arg6989586621680449121 :: t6989586621680448444 a6989586621680448465) = Product arg6989586621680449121
  • data FoldrMSym0 :: forall a6989586621680448405 b6989586621680448406 m6989586621680448404 t6989586621680448403. (~>) ((~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) ((~>) b6989586621680448406 ((~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406)))
  • data FoldrMSym1 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) :: forall t6989586621680448403. (~>) b6989586621680448406 ((~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406))
  • data FoldrMSym2 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) (a6989586621680449046 :: b6989586621680448406) :: forall t6989586621680448403. (~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406)
  • type FoldrMSym3 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) (a6989586621680449046 :: b6989586621680448406) (a6989586621680449047 :: t6989586621680448403 a6989586621680448405) = FoldrM a6989586621680449045 a6989586621680449046 a6989586621680449047
  • data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)))
  • data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))
  • data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)
  • type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025
  • data Traverse_Sym0 :: forall a6989586621680448397 b6989586621680448398 f6989586621680448396 t6989586621680448395. (~>) ((~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) ((~>) (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ()))
  • data Traverse_Sym1 (a6989586621680449005 :: (~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) :: forall t6989586621680448395. (~>) (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ())
  • type Traverse_Sym2 (a6989586621680449005 :: (~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) (a6989586621680449006 :: t6989586621680448395 a6989586621680448397) = Traverse_ a6989586621680449005 a6989586621680449006
  • data For_Sym0 :: forall a6989586621680448393 b6989586621680448394 f6989586621680448392 t6989586621680448391. (~>) (t6989586621680448391 a6989586621680448393) ((~>) ((~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) (f6989586621680448392 ()))
  • data For_Sym1 (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) :: forall b6989586621680448394 f6989586621680448392. (~>) ((~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) (f6989586621680448392 ())
  • type For_Sym2 (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) (a6989586621680449018 :: (~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) = For_ a6989586621680449017 a6989586621680449018
  • data SequenceA_Sym0 :: forall a6989586621680448382 f6989586621680448381 t6989586621680448380. (~>) (t6989586621680448380 (f6989586621680448381 a6989586621680448382)) (f6989586621680448381 ())
  • type SequenceA_Sym1 (a6989586621680448984 :: t6989586621680448380 (f6989586621680448381 a6989586621680448382)) = SequenceA_ a6989586621680448984
  • data AsumSym0 :: forall a6989586621680448376 f6989586621680448375 t6989586621680448374. (~>) (t6989586621680448374 (f6989586621680448375 a6989586621680448376)) (f6989586621680448375 a6989586621680448376)
  • type AsumSym1 (a6989586621680448969 :: t6989586621680448374 (f6989586621680448375 a6989586621680448376)) = Asum a6989586621680448969
  • data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()))
  • data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())
  • type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988
  • data ForM_Sym0 :: forall a6989586621680448385 b6989586621680448386 m6989586621680448384 t6989586621680448383. (~>) (t6989586621680448383 a6989586621680448385) ((~>) ((~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) (m6989586621680448384 ()))
  • data ForM_Sym1 (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) :: forall b6989586621680448386 m6989586621680448384. (~>) ((~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) (m6989586621680448384 ())
  • type ForM_Sym2 (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) (a6989586621680449000 :: (~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) = ForM_ a6989586621680448999 a6989586621680449000
  • data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ())
  • type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979
  • data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373)
  • type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974
  • data ConcatSym0 :: forall a6989586621680448370 t6989586621680448369. (~>) (t6989586621680448369 [a6989586621680448370]) [a6989586621680448370]
  • type ConcatSym1 (a6989586621680448955 :: t6989586621680448369 [a6989586621680448370]) = Concat a6989586621680448955
  • data ConcatMapSym0 :: forall a6989586621680448367 b6989586621680448368 t6989586621680448366. (~>) ((~>) a6989586621680448367 [b6989586621680448368]) ((~>) (t6989586621680448366 a6989586621680448367) [b6989586621680448368])
  • data ConcatMapSym1 (a6989586621680448939 :: (~>) a6989586621680448367 [b6989586621680448368]) :: forall t6989586621680448366. (~>) (t6989586621680448366 a6989586621680448367) [b6989586621680448368]
  • type ConcatMapSym2 (a6989586621680448939 :: (~>) a6989586621680448367 [b6989586621680448368]) (a6989586621680448940 :: t6989586621680448366 a6989586621680448367) = ConcatMap a6989586621680448939 a6989586621680448940
  • data AndSym0 :: forall t6989586621680448365. (~>) (t6989586621680448365 Bool) Bool
  • type AndSym1 (a6989586621680448930 :: t6989586621680448365 Bool) = And a6989586621680448930
  • data OrSym0 :: forall t6989586621680448364. (~>) (t6989586621680448364 Bool) Bool
  • type OrSym1 (a6989586621680448921 :: t6989586621680448364 Bool) = Or a6989586621680448921
  • data AnySym0 :: forall a6989586621680448363 t6989586621680448362. (~>) ((~>) a6989586621680448363 Bool) ((~>) (t6989586621680448362 a6989586621680448363) Bool)
  • data AnySym1 (a6989586621680448908 :: (~>) a6989586621680448363 Bool) :: forall t6989586621680448362. (~>) (t6989586621680448362 a6989586621680448363) Bool
  • type AnySym2 (a6989586621680448908 :: (~>) a6989586621680448363 Bool) (a6989586621680448909 :: t6989586621680448362 a6989586621680448363) = Any a6989586621680448908 a6989586621680448909
  • data AllSym0 :: forall a6989586621680448361 t6989586621680448360. (~>) ((~>) a6989586621680448361 Bool) ((~>) (t6989586621680448360 a6989586621680448361) Bool)
  • data AllSym1 (a6989586621680448895 :: (~>) a6989586621680448361 Bool) :: forall t6989586621680448360. (~>) (t6989586621680448360 a6989586621680448361) Bool
  • type AllSym2 (a6989586621680448895 :: (~>) a6989586621680448361 Bool) (a6989586621680448896 :: t6989586621680448360 a6989586621680448361) = All a6989586621680448895 a6989586621680448896
  • data MaximumBySym0 :: forall a6989586621680448359 t6989586621680448358. (~>) ((~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) ((~>) (t6989586621680448358 a6989586621680448359) a6989586621680448359)
  • data MaximumBySym1 (a6989586621680448870 :: (~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) :: forall t6989586621680448358. (~>) (t6989586621680448358 a6989586621680448359) a6989586621680448359
  • type MaximumBySym2 (a6989586621680448870 :: (~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) (a6989586621680448871 :: t6989586621680448358 a6989586621680448359) = MaximumBy a6989586621680448870 a6989586621680448871
  • data MinimumBySym0 :: forall a6989586621680448357 t6989586621680448356. (~>) ((~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) ((~>) (t6989586621680448356 a6989586621680448357) a6989586621680448357)
  • data MinimumBySym1 (a6989586621680448845 :: (~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) :: forall t6989586621680448356. (~>) (t6989586621680448356 a6989586621680448357) a6989586621680448357
  • type MinimumBySym2 (a6989586621680448845 :: (~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) (a6989586621680448846 :: t6989586621680448356 a6989586621680448357) = MinimumBy a6989586621680448845 a6989586621680448846
  • data NotElemSym0 :: forall a6989586621680448355 t6989586621680448354. (~>) a6989586621680448355 ((~>) (t6989586621680448354 a6989586621680448355) Bool)
  • data NotElemSym1 (a6989586621680448837 :: a6989586621680448355) :: forall t6989586621680448354. (~>) (t6989586621680448354 a6989586621680448355) Bool
  • type NotElemSym2 (a6989586621680448837 :: a6989586621680448355) (a6989586621680448838 :: t6989586621680448354 a6989586621680448355) = NotElem a6989586621680448837 a6989586621680448838
  • data FindSym0 :: forall a6989586621680448353 t6989586621680448352. (~>) ((~>) a6989586621680448353 Bool) ((~>) (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353))
  • data FindSym1 (a6989586621680448810 :: (~>) a6989586621680448353 Bool) :: forall t6989586621680448352. (~>) (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353)
  • type FindSym2 (a6989586621680448810 :: (~>) a6989586621680448353 Bool) (a6989586621680448811 :: t6989586621680448352 a6989586621680448353) = Find a6989586621680448810 a6989586621680448811

Documentation

class PFoldable (t :: Type -> Type) Source #

Associated Types

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

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

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

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

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

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

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

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

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

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

type Length (arg :: t a) :: Nat Source #

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

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

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

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

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

Instances
PFoldable [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable First Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable (Either a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable (Arg a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

PFoldable (Const m :: Type -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fold arg :: m Source #

type FoldMap arg arg :: m Source #

type Foldr arg arg arg :: b Source #

type Foldr' arg arg arg :: b Source #

type Foldl arg arg arg :: b Source #

type Foldl' arg arg arg :: b Source #

type Foldr1 arg arg :: a Source #

type Foldl1 arg arg :: a Source #

type ToList arg :: [a] Source #

type Null arg :: Bool Source #

type Length arg :: Nat Source #

type Elem arg arg :: Bool Source #

type Maximum arg :: a Source #

type Minimum arg :: a Source #

type Sum arg :: a Source #

type Product arg :: a Source #

class SFoldable (t :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

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

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

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

sFoldr' :: forall a b (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) Source #

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

sFoldl' :: forall b a (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) Source #

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

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

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

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

sLength :: forall a (t :: t a). Sing t -> Sing (Apply LengthSym0 t :: Nat) Source #

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

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

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

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

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

sFold :: forall m (t :: t m). ((Apply FoldSym0 t :: m) ~ Apply Fold_6989586621680449129Sym0 t, SMonoid m) => Sing t -> Sing (Apply FoldSym0 t :: m) Source #

sFoldMap :: forall m a (t :: (~>) a m) (t :: t a). ((Apply (Apply FoldMapSym0 t) t :: m) ~ Apply (Apply FoldMap_6989586621680449142Sym0 t) t, SMonoid m) => Sing t -> Sing t -> Sing (Apply (Apply FoldMapSym0 t) t :: m) Source #

sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldrSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr_6989586621680449166Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) Source #

sFoldr' :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldr'_6989586621680449196Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldr'Sym0 t) t) t :: b) Source #

sFoldl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply FoldlSym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl_6989586621680449221Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) Source #

sFoldl' :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: t a). (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) ~ Apply (Apply (Apply Foldl'_6989586621680449251Sym0 t) t) t => Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b) Source #

sFoldr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldr1Sym0 t) t :: a) ~ Apply (Apply Foldr1_6989586621680449277Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) Source #

sFoldl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: t a). (Apply (Apply Foldl1Sym0 t) t :: a) ~ Apply (Apply Foldl1_6989586621680449302Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) Source #

sToList :: forall a (t :: t a). (Apply ToListSym0 t :: [a]) ~ Apply ToList_6989586621680449312Sym0 t => Sing t -> Sing (Apply ToListSym0 t :: [a]) Source #

sNull :: forall a (t :: t a). (Apply NullSym0 t :: Bool) ~ Apply Null_6989586621680449333Sym0 t => Sing t -> Sing (Apply NullSym0 t :: Bool) Source #

sLength :: forall a (t :: t a). (Apply LengthSym0 t :: Nat) ~ Apply Length_6989586621680449355Sym0 t => Sing t -> Sing (Apply LengthSym0 t :: Nat) Source #

sElem :: forall a (t :: a) (t :: t a). ((Apply (Apply ElemSym0 t) t :: Bool) ~ Apply (Apply Elem_6989586621680449370Sym0 t) t, SEq a) => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) Source #

sMaximum :: forall a (t :: t a). ((Apply MaximumSym0 t :: a) ~ Apply Maximum_6989586621680449384Sym0 t, SOrd a) => Sing t -> Sing (Apply MaximumSym0 t :: a) Source #

sMinimum :: forall a (t :: t a). ((Apply MinimumSym0 t :: a) ~ Apply Minimum_6989586621680449397Sym0 t, SOrd a) => Sing t -> Sing (Apply MinimumSym0 t :: a) Source #

sSum :: forall a (t :: t a). ((Apply SumSym0 t :: a) ~ Apply Sum_6989586621680449410Sym0 t, SNum a) => Sing t -> Sing (Apply SumSym0 t :: a) Source #

sProduct :: forall a (t :: t a). ((Apply ProductSym0 t :: a) ~ Apply Product_6989586621680449423Sym0 t, SNum a) => Sing t -> Sing (Apply ProductSym0 t :: a) Source #

Instances
SFoldable [] Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Maybe Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Min Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable Max Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable First Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable Option Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable Identity Source # 
Instance details

Defined in Data.Singletons.Prelude.Identity

SFoldable First Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Last Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Dual Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Sum Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable Product Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable NonEmpty Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable (Either a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable ((,) a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SFoldable (Arg a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Semigroup

SFoldable (Const m :: Type -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Const

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

Equations

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

sFoldrM :: forall t m a b (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) Source #

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

Equations

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

sFoldlM :: forall t m b a (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) Source #

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

Equations

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

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

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

Equations

For_ a_6989586621680449013 a_6989586621680449015 = Apply (Apply (Apply FlipSym0 Traverse_Sym0) a_6989586621680449013) a_6989586621680449015 

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

ForM_ a_6989586621680448995 a_6989586621680448997 = Apply (Apply (Apply FlipSym0 MapM_Sym0) a_6989586621680448995) a_6989586621680448997 

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

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

Equations

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

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

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

Equations

Msum a_6989586621680448972 = Apply AsumSym0 a_6989586621680448972 

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

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

Equations

Concat xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621680448958Sym0 xs)) '[]) xs 

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

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

Equations

ConcatMap f xs = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_6989586621680448945Sym0 f) xs)) '[]) xs 

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

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

Equations

And x = Case_6989586621680448935 x (Let6989586621680448933Scrutinee_6989586621680448691Sym1 x) 

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

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

Equations

Or x = Case_6989586621680448926 x (Let6989586621680448924Scrutinee_6989586621680448693Sym1 x) 

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

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

Equations

Any p x = Case_6989586621680448917 p x (Let6989586621680448914Scrutinee_6989586621680448695Sym2 p x) 

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

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

Equations

All p x = Case_6989586621680448904 p x (Let6989586621680448901Scrutinee_6989586621680448697Sym2 p x) 

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

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

Equations

MaximumBy cmp a_6989586621680448874 = Apply (Apply Foldl1Sym0 (Let6989586621680448878Max'Sym2 cmp a_6989586621680448874)) a_6989586621680448874 

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

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

Equations

MinimumBy cmp a_6989586621680448849 = Apply (Apply Foldl1Sym0 (Let6989586621680448853Min'Sym2 cmp a_6989586621680448849)) a_6989586621680448849 

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

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

Equations

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

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

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

Equations

Find p y = Case_6989586621680448833 p y (Let6989586621680448816Scrutinee_6989586621680448703Sym2 p y) 

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

Defunctionalization symbols

data FoldSym0 :: forall m6989586621680448445 t6989586621680448444. (~>) (t6989586621680448444 m6989586621680448445) m6989586621680448445 Source #

Instances
(SFoldable t, SMonoid m) => SingI (FoldSym0 :: TyFun (t m) m -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldSym0 :: TyFun (t6989586621680448444 m6989586621680448445) m6989586621680448445 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldSym0 :: TyFun (t m) m -> Type) (arg6989586621680449067 :: t m) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type FoldSym1 (arg6989586621680449067 :: t6989586621680448444 m6989586621680448445) = Fold arg6989586621680449067 Source #

data FoldMapSym0 :: forall a6989586621680448447 m6989586621680448446 t6989586621680448444. (~>) ((~>) a6989586621680448447 m6989586621680448446) ((~>) (t6989586621680448444 a6989586621680448447) m6989586621680448446) Source #

Instances
(SFoldable t, SMonoid m) => SingI (FoldMapSym0 :: TyFun (a ~> m) (t a ~> m) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldMapSym0 :: TyFun (a6989586621680448447 ~> m6989586621680448446) (t6989586621680448444 a6989586621680448447 ~> m6989586621680448446) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldMapSym0 :: TyFun (a6989586621680448447 ~> m6989586621680448446) (t6989586621680448444 a6989586621680448447 ~> m6989586621680448446) -> Type) (arg6989586621680449069 :: a6989586621680448447 ~> m6989586621680448446) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldMapSym0 :: TyFun (a6989586621680448447 ~> m6989586621680448446) (t6989586621680448444 a6989586621680448447 ~> m6989586621680448446) -> Type) (arg6989586621680449069 :: a6989586621680448447 ~> m6989586621680448446) = (FoldMapSym1 arg6989586621680449069 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448447) m6989586621680448446 -> Type)

data FoldMapSym1 (arg6989586621680449069 :: (~>) a6989586621680448447 m6989586621680448446) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448447) m6989586621680448446 Source #

Instances
(SFoldable t, SMonoid m, SingI d) => SingI (FoldMapSym1 d t :: TyFun (t a) m -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldMapSym1 d t) Source #

SuppressUnusedWarnings (FoldMapSym1 arg6989586621680449069 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448447) m6989586621680448446 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldMapSym1 arg6989586621680449069 t :: TyFun (t a) m -> Type) (arg6989586621680449070 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldMapSym1 arg6989586621680449069 t :: TyFun (t a) m -> Type) (arg6989586621680449070 :: t a) = FoldMap arg6989586621680449069 arg6989586621680449070

type FoldMapSym2 (arg6989586621680449069 :: (~>) a6989586621680448447 m6989586621680448446) (arg6989586621680449070 :: t6989586621680448444 a6989586621680448447) = FoldMap arg6989586621680449069 arg6989586621680449070 Source #

data FoldrSym0 :: forall a6989586621680448448 b6989586621680448449 t6989586621680448444. (~>) ((~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) ((~>) b6989586621680448449 ((~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449)) Source #

Instances
SFoldable t => SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) (b6989586621680448449 ~> (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym0 :: TyFun (a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) (b6989586621680448449 ~> (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449)) -> Type) (arg6989586621680449073 :: a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym0 :: TyFun (a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) (b6989586621680448449 ~> (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449)) -> Type) (arg6989586621680449073 :: a6989586621680448448 ~> (b6989586621680448449 ~> b6989586621680448449)) = (FoldrSym1 arg6989586621680449073 t6989586621680448444 :: TyFun b6989586621680448449 (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449) -> Type)

data FoldrSym1 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) :: forall t6989586621680448444. (~>) b6989586621680448449 ((~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449) Source #

Instances
(SFoldable t, SingI d) => SingI (FoldrSym1 d t :: TyFun b (t a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldrSym1 d t) Source #

SuppressUnusedWarnings (FoldrSym1 arg6989586621680449073 t6989586621680448444 :: TyFun b6989586621680448449 (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym1 arg6989586621680449073 t6989586621680448444 :: TyFun b6989586621680448449 (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449) -> Type) (arg6989586621680449074 :: b6989586621680448449) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym1 arg6989586621680449073 t6989586621680448444 :: TyFun b6989586621680448449 (t6989586621680448444 a6989586621680448448 ~> b6989586621680448449) -> Type) (arg6989586621680449074 :: b6989586621680448449) = (FoldrSym2 arg6989586621680449073 arg6989586621680449074 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448448) b6989586621680448449 -> Type)

data FoldrSym2 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) (arg6989586621680449074 :: b6989586621680448449) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448448) b6989586621680448449 Source #

Instances
(SFoldable t, SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 t :: TyFun (t a) b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldrSym2 d1 d2 t) Source #

SuppressUnusedWarnings (FoldrSym2 arg6989586621680449074 arg6989586621680449073 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448448) b6989586621680448449 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym2 arg6989586621680449074 arg6989586621680449073 t :: TyFun (t a) b -> Type) (arg6989586621680449075 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrSym2 arg6989586621680449074 arg6989586621680449073 t :: TyFun (t a) b -> Type) (arg6989586621680449075 :: t a) = Foldr arg6989586621680449074 arg6989586621680449073 arg6989586621680449075

type FoldrSym3 (arg6989586621680449073 :: (~>) a6989586621680448448 ((~>) b6989586621680448449 b6989586621680448449)) (arg6989586621680449074 :: b6989586621680448449) (arg6989586621680449075 :: t6989586621680448444 a6989586621680448448) = Foldr arg6989586621680449073 arg6989586621680449074 arg6989586621680449075 Source #

data Foldr'Sym0 :: forall a6989586621680448450 b6989586621680448451 t6989586621680448444. (~>) ((~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) ((~>) b6989586621680448451 ((~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451)) Source #

Instances
SFoldable t => SingI (Foldr'Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (t a ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr'Sym0 :: TyFun (a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) (b6989586621680448451 ~> (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym0 :: TyFun (a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) (b6989586621680448451 ~> (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451)) -> Type) (arg6989586621680449079 :: a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym0 :: TyFun (a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) (b6989586621680448451 ~> (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451)) -> Type) (arg6989586621680449079 :: a6989586621680448450 ~> (b6989586621680448451 ~> b6989586621680448451)) = (Foldr'Sym1 arg6989586621680449079 t6989586621680448444 :: TyFun b6989586621680448451 (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451) -> Type)

data Foldr'Sym1 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) :: forall t6989586621680448444. (~>) b6989586621680448451 ((~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451) Source #

Instances
(SFoldable t, SingI d) => SingI (Foldr'Sym1 d t :: TyFun b (t a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldr'Sym1 d t) Source #

SuppressUnusedWarnings (Foldr'Sym1 arg6989586621680449079 t6989586621680448444 :: TyFun b6989586621680448451 (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym1 arg6989586621680449079 t6989586621680448444 :: TyFun b6989586621680448451 (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451) -> Type) (arg6989586621680449080 :: b6989586621680448451) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym1 arg6989586621680449079 t6989586621680448444 :: TyFun b6989586621680448451 (t6989586621680448444 a6989586621680448450 ~> b6989586621680448451) -> Type) (arg6989586621680449080 :: b6989586621680448451) = (Foldr'Sym2 arg6989586621680449079 arg6989586621680449080 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448450) b6989586621680448451 -> Type)

data Foldr'Sym2 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) (arg6989586621680449080 :: b6989586621680448451) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448450) b6989586621680448451 Source #

Instances
(SFoldable t, SingI d1, SingI d2) => SingI (Foldr'Sym2 d1 d2 t :: TyFun (t a) b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldr'Sym2 d1 d2 t) Source #

SuppressUnusedWarnings (Foldr'Sym2 arg6989586621680449080 arg6989586621680449079 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448450) b6989586621680448451 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym2 arg6989586621680449080 arg6989586621680449079 t :: TyFun (t a) b -> Type) (arg6989586621680449081 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr'Sym2 arg6989586621680449080 arg6989586621680449079 t :: TyFun (t a) b -> Type) (arg6989586621680449081 :: t a) = Foldr' arg6989586621680449080 arg6989586621680449079 arg6989586621680449081

type Foldr'Sym3 (arg6989586621680449079 :: (~>) a6989586621680448450 ((~>) b6989586621680448451 b6989586621680448451)) (arg6989586621680449080 :: b6989586621680448451) (arg6989586621680449081 :: t6989586621680448444 a6989586621680448450) = Foldr' arg6989586621680449079 arg6989586621680449080 arg6989586621680449081 Source #

data FoldlSym0 :: forall a6989586621680448453 b6989586621680448452 t6989586621680448444. (~>) ((~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) ((~>) b6989586621680448452 ((~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452)) Source #

Instances
SFoldable t => SingI (FoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlSym0 :: TyFun (b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) (b6989586621680448452 ~> (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym0 :: TyFun (b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) (b6989586621680448452 ~> (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452)) -> Type) (arg6989586621680449085 :: b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym0 :: TyFun (b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) (b6989586621680448452 ~> (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452)) -> Type) (arg6989586621680449085 :: b6989586621680448452 ~> (a6989586621680448453 ~> b6989586621680448452)) = (FoldlSym1 arg6989586621680449085 t6989586621680448444 :: TyFun b6989586621680448452 (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452) -> Type)

data FoldlSym1 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) :: forall t6989586621680448444. (~>) b6989586621680448452 ((~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452) Source #

Instances
(SFoldable t, SingI d) => SingI (FoldlSym1 d t :: TyFun b (t a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlSym1 d t) Source #

SuppressUnusedWarnings (FoldlSym1 arg6989586621680449085 t6989586621680448444 :: TyFun b6989586621680448452 (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym1 arg6989586621680449085 t6989586621680448444 :: TyFun b6989586621680448452 (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452) -> Type) (arg6989586621680449086 :: b6989586621680448452) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym1 arg6989586621680449085 t6989586621680448444 :: TyFun b6989586621680448452 (t6989586621680448444 a6989586621680448453 ~> b6989586621680448452) -> Type) (arg6989586621680449086 :: b6989586621680448452) = (FoldlSym2 arg6989586621680449085 arg6989586621680449086 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448453) b6989586621680448452 -> Type)

data FoldlSym2 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) (arg6989586621680449086 :: b6989586621680448452) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448453) b6989586621680448452 Source #

Instances
(SFoldable t, SingI d1, SingI d2) => SingI (FoldlSym2 d1 d2 t :: TyFun (t a) b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlSym2 d1 d2 t) Source #

SuppressUnusedWarnings (FoldlSym2 arg6989586621680449086 arg6989586621680449085 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448453) b6989586621680448452 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym2 arg6989586621680449086 arg6989586621680449085 t :: TyFun (t a) b -> Type) (arg6989586621680449087 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlSym2 arg6989586621680449086 arg6989586621680449085 t :: TyFun (t a) b -> Type) (arg6989586621680449087 :: t a) = Foldl arg6989586621680449086 arg6989586621680449085 arg6989586621680449087

type FoldlSym3 (arg6989586621680449085 :: (~>) b6989586621680448452 ((~>) a6989586621680448453 b6989586621680448452)) (arg6989586621680449086 :: b6989586621680448452) (arg6989586621680449087 :: t6989586621680448444 a6989586621680448453) = Foldl arg6989586621680449085 arg6989586621680449086 arg6989586621680449087 Source #

data Foldl'Sym0 :: forall a6989586621680448455 b6989586621680448454 t6989586621680448444. (~>) ((~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) ((~>) b6989586621680448454 ((~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454)) Source #

Instances
SFoldable t => SingI (Foldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (t a ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldl'Sym0 :: TyFun (b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) (b6989586621680448454 ~> (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym0 :: TyFun (b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) (b6989586621680448454 ~> (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454)) -> Type) (arg6989586621680449091 :: b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym0 :: TyFun (b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) (b6989586621680448454 ~> (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454)) -> Type) (arg6989586621680449091 :: b6989586621680448454 ~> (a6989586621680448455 ~> b6989586621680448454)) = (Foldl'Sym1 arg6989586621680449091 t6989586621680448444 :: TyFun b6989586621680448454 (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454) -> Type)

data Foldl'Sym1 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) :: forall t6989586621680448444. (~>) b6989586621680448454 ((~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454) Source #

Instances
(SFoldable t, SingI d) => SingI (Foldl'Sym1 d t :: TyFun b (t a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldl'Sym1 d t) Source #

SuppressUnusedWarnings (Foldl'Sym1 arg6989586621680449091 t6989586621680448444 :: TyFun b6989586621680448454 (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym1 arg6989586621680449091 t6989586621680448444 :: TyFun b6989586621680448454 (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454) -> Type) (arg6989586621680449092 :: b6989586621680448454) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym1 arg6989586621680449091 t6989586621680448444 :: TyFun b6989586621680448454 (t6989586621680448444 a6989586621680448455 ~> b6989586621680448454) -> Type) (arg6989586621680449092 :: b6989586621680448454) = (Foldl'Sym2 arg6989586621680449091 arg6989586621680449092 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448455) b6989586621680448454 -> Type)

data Foldl'Sym2 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) (arg6989586621680449092 :: b6989586621680448454) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448455) b6989586621680448454 Source #

Instances
(SFoldable t, SingI d1, SingI d2) => SingI (Foldl'Sym2 d1 d2 t :: TyFun (t a) b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldl'Sym2 d1 d2 t) Source #

SuppressUnusedWarnings (Foldl'Sym2 arg6989586621680449092 arg6989586621680449091 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448455) b6989586621680448454 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym2 arg6989586621680449092 arg6989586621680449091 t :: TyFun (t a) b -> Type) (arg6989586621680449093 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl'Sym2 arg6989586621680449092 arg6989586621680449091 t :: TyFun (t a) b -> Type) (arg6989586621680449093 :: t a) = Foldl' arg6989586621680449092 arg6989586621680449091 arg6989586621680449093

type Foldl'Sym3 (arg6989586621680449091 :: (~>) b6989586621680448454 ((~>) a6989586621680448455 b6989586621680448454)) (arg6989586621680449092 :: b6989586621680448454) (arg6989586621680449093 :: t6989586621680448444 a6989586621680448455) = Foldl' arg6989586621680449091 arg6989586621680449092 arg6989586621680449093 Source #

data Foldr1Sym0 :: forall a6989586621680448456 t6989586621680448444. (~>) ((~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) ((~>) (t6989586621680448444 a6989586621680448456) a6989586621680448456) Source #

Instances
SFoldable t => SingI (Foldr1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) (t6989586621680448444 a6989586621680448456 ~> a6989586621680448456) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr1Sym0 :: TyFun (a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) (t6989586621680448444 a6989586621680448456 ~> a6989586621680448456) -> Type) (arg6989586621680449097 :: a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr1Sym0 :: TyFun (a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) (t6989586621680448444 a6989586621680448456 ~> a6989586621680448456) -> Type) (arg6989586621680449097 :: a6989586621680448456 ~> (a6989586621680448456 ~> a6989586621680448456)) = (Foldr1Sym1 arg6989586621680449097 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448456) a6989586621680448456 -> Type)

data Foldr1Sym1 (arg6989586621680449097 :: (~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448456) a6989586621680448456 Source #

Instances
(SFoldable t, SingI d) => SingI (Foldr1Sym1 d t :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldr1Sym1 d t) Source #

SuppressUnusedWarnings (Foldr1Sym1 arg6989586621680449097 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448456) a6989586621680448456 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr1Sym1 arg6989586621680449097 t :: TyFun (t a) a -> Type) (arg6989586621680449098 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldr1Sym1 arg6989586621680449097 t :: TyFun (t a) a -> Type) (arg6989586621680449098 :: t a) = Foldr1 arg6989586621680449097 arg6989586621680449098

type Foldr1Sym2 (arg6989586621680449097 :: (~>) a6989586621680448456 ((~>) a6989586621680448456 a6989586621680448456)) (arg6989586621680449098 :: t6989586621680448444 a6989586621680448456) = Foldr1 arg6989586621680449097 arg6989586621680449098 Source #

data Foldl1Sym0 :: forall a6989586621680448457 t6989586621680448444. (~>) ((~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) ((~>) (t6989586621680448444 a6989586621680448457) a6989586621680448457) Source #

Instances
SFoldable t => SingI (Foldl1Sym0 :: TyFun (a ~> (a ~> a)) (t a ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) (t6989586621680448444 a6989586621680448457 ~> a6989586621680448457) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl1Sym0 :: TyFun (a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) (t6989586621680448444 a6989586621680448457 ~> a6989586621680448457) -> Type) (arg6989586621680449101 :: a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl1Sym0 :: TyFun (a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) (t6989586621680448444 a6989586621680448457 ~> a6989586621680448457) -> Type) (arg6989586621680449101 :: a6989586621680448457 ~> (a6989586621680448457 ~> a6989586621680448457)) = (Foldl1Sym1 arg6989586621680449101 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448457) a6989586621680448457 -> Type)

data Foldl1Sym1 (arg6989586621680449101 :: (~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448457) a6989586621680448457 Source #

Instances
(SFoldable t, SingI d) => SingI (Foldl1Sym1 d t :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Foldl1Sym1 d t) Source #

SuppressUnusedWarnings (Foldl1Sym1 arg6989586621680449101 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448457) a6989586621680448457 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl1Sym1 arg6989586621680449101 t :: TyFun (t a) a -> Type) (arg6989586621680449102 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Foldl1Sym1 arg6989586621680449101 t :: TyFun (t a) a -> Type) (arg6989586621680449102 :: t a) = Foldl1 arg6989586621680449101 arg6989586621680449102

type Foldl1Sym2 (arg6989586621680449101 :: (~>) a6989586621680448457 ((~>) a6989586621680448457 a6989586621680448457)) (arg6989586621680449102 :: t6989586621680448444 a6989586621680448457) = Foldl1 arg6989586621680449101 arg6989586621680449102 Source #

data ToListSym0 :: forall a6989586621680448458 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448458) [a6989586621680448458] Source #

Instances
SFoldable t => SingI (ToListSym0 :: TyFun (t a) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ToListSym0 :: TyFun (t6989586621680448444 a6989586621680448458) [a6989586621680448458] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ToListSym0 :: TyFun (t a) [a] -> Type) (arg6989586621680449105 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type ToListSym1 (arg6989586621680449105 :: t6989586621680448444 a6989586621680448458) = ToList arg6989586621680449105 Source #

data NullSym0 :: forall a6989586621680448459 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448459) Bool Source #

Instances
SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (NullSym0 :: TyFun (t6989586621680448444 a6989586621680448459) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (arg6989586621680449107 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type NullSym1 (arg6989586621680449107 :: t6989586621680448444 a6989586621680448459) = Null arg6989586621680449107 Source #

data LengthSym0 :: forall a6989586621680448460 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448460) Nat Source #

Instances
SFoldable t => SingI (LengthSym0 :: TyFun (t a) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (LengthSym0 :: TyFun (t6989586621680448444 a6989586621680448460) Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (LengthSym0 :: TyFun (t a) Nat -> Type) (arg6989586621680449109 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (LengthSym0 :: TyFun (t a) Nat -> Type) (arg6989586621680449109 :: t a) = Length arg6989586621680449109

type LengthSym1 (arg6989586621680449109 :: t6989586621680448444 a6989586621680448460) = Length arg6989586621680449109 Source #

data ElemSym0 :: forall a6989586621680448461 t6989586621680448444. (~>) a6989586621680448461 ((~>) (t6989586621680448444 a6989586621680448461) Bool) Source #

Instances
(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621680448461 (t6989586621680448444 a6989586621680448461 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ElemSym0 :: TyFun a6989586621680448461 (t6989586621680448444 a6989586621680448461 ~> Bool) -> Type) (arg6989586621680449111 :: a6989586621680448461) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ElemSym0 :: TyFun a6989586621680448461 (t6989586621680448444 a6989586621680448461 ~> Bool) -> Type) (arg6989586621680449111 :: a6989586621680448461) = (ElemSym1 arg6989586621680449111 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448461) Bool -> Type)

data ElemSym1 (arg6989586621680449111 :: a6989586621680448461) :: forall t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448461) Bool Source #

Instances
(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d t :: TyFun (t a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (ElemSym1 d t) Source #

SuppressUnusedWarnings (ElemSym1 arg6989586621680449111 t6989586621680448444 :: TyFun (t6989586621680448444 a6989586621680448461) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ElemSym1 arg6989586621680449111 t :: TyFun (t a) Bool -> Type) (arg6989586621680449112 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ElemSym1 arg6989586621680449111 t :: TyFun (t a) Bool -> Type) (arg6989586621680449112 :: t a) = Elem arg6989586621680449111 arg6989586621680449112

type ElemSym2 (arg6989586621680449111 :: a6989586621680448461) (arg6989586621680449112 :: t6989586621680448444 a6989586621680448461) = Elem arg6989586621680449111 arg6989586621680449112 Source #

data MaximumSym0 :: forall a6989586621680448462 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448462) a6989586621680448462 Source #

Instances
(SFoldable t, SOrd a) => SingI (MaximumSym0 :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MaximumSym0 :: TyFun (t6989586621680448444 a6989586621680448462) a6989586621680448462 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MaximumSym0 :: TyFun (t a) a -> Type) (arg6989586621680449115 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type MaximumSym1 (arg6989586621680449115 :: t6989586621680448444 a6989586621680448462) = Maximum arg6989586621680449115 Source #

data MinimumSym0 :: forall a6989586621680448463 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448463) a6989586621680448463 Source #

Instances
(SFoldable t, SOrd a) => SingI (MinimumSym0 :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MinimumSym0 :: TyFun (t6989586621680448444 a6989586621680448463) a6989586621680448463 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MinimumSym0 :: TyFun (t a) a -> Type) (arg6989586621680449117 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type MinimumSym1 (arg6989586621680449117 :: t6989586621680448444 a6989586621680448463) = Minimum arg6989586621680449117 Source #

data SumSym0 :: forall a6989586621680448464 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448464) a6989586621680448464 Source #

Instances
(SFoldable t, SNum a) => SingI (SumSym0 :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (SumSym0 :: TyFun (t6989586621680448444 a6989586621680448464) a6989586621680448464 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (SumSym0 :: TyFun (t a) a -> Type) (arg6989586621680449119 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type SumSym1 (arg6989586621680449119 :: t6989586621680448444 a6989586621680448464) = Sum arg6989586621680449119 Source #

data ProductSym0 :: forall a6989586621680448465 t6989586621680448444. (~>) (t6989586621680448444 a6989586621680448465) a6989586621680448465 Source #

Instances
(SFoldable t, SNum a) => SingI (ProductSym0 :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ProductSym0 :: TyFun (t6989586621680448444 a6989586621680448465) a6989586621680448465 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ProductSym0 :: TyFun (t a) a -> Type) (arg6989586621680449121 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type ProductSym1 (arg6989586621680449121 :: t6989586621680448444 a6989586621680448465) = Product arg6989586621680449121 Source #

data FoldrMSym0 :: forall a6989586621680448405 b6989586621680448406 m6989586621680448404 t6989586621680448403. (~>) ((~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) ((~>) b6989586621680448406 ((~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406))) Source #

Instances
(SFoldable t, SMonad m) => SingI (FoldrMSym0 :: TyFun (a ~> (b ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldrMSym0 :: TyFun (a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) (b6989586621680448406 ~> (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym0 :: TyFun (a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) (b6989586621680448406 ~> (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406)) -> Type) (a6989586621680449045 :: a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym0 :: TyFun (a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) (b6989586621680448406 ~> (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406)) -> Type) (a6989586621680449045 :: a6989586621680448405 ~> (b6989586621680448406 ~> m6989586621680448404 b6989586621680448406)) = (FoldrMSym1 a6989586621680449045 t6989586621680448403 :: TyFun b6989586621680448406 (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406) -> Type)

data FoldrMSym1 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) :: forall t6989586621680448403. (~>) b6989586621680448406 ((~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406)) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (FoldrMSym1 d t :: TyFun b (t a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldrMSym1 d t) Source #

SuppressUnusedWarnings (FoldrMSym1 a6989586621680449045 t6989586621680448403 :: TyFun b6989586621680448406 (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym1 a6989586621680449045 t6989586621680448403 :: TyFun b6989586621680448406 (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406) -> Type) (a6989586621680449046 :: b6989586621680448406) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym1 a6989586621680449045 t6989586621680448403 :: TyFun b6989586621680448406 (t6989586621680448403 a6989586621680448405 ~> m6989586621680448404 b6989586621680448406) -> Type) (a6989586621680449046 :: b6989586621680448406) = (FoldrMSym2 a6989586621680449045 a6989586621680449046 t6989586621680448403 :: TyFun (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406) -> Type)

data FoldrMSym2 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) (a6989586621680449046 :: b6989586621680448406) :: forall t6989586621680448403. (~>) (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406) Source #

Instances
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldrMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldrMSym2 d1 d2 t) Source #

SuppressUnusedWarnings (FoldrMSym2 a6989586621680449046 a6989586621680449045 t6989586621680448403 :: TyFun (t6989586621680448403 a6989586621680448405) (m6989586621680448404 b6989586621680448406) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym2 a6989586621680449046 a6989586621680449045 t :: TyFun (t a) (m b) -> Type) (a6989586621680449047 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldrMSym2 a6989586621680449046 a6989586621680449045 t :: TyFun (t a) (m b) -> Type) (a6989586621680449047 :: t a) = FoldrM a6989586621680449046 a6989586621680449045 a6989586621680449047

type FoldrMSym3 (a6989586621680449045 :: (~>) a6989586621680448405 ((~>) b6989586621680448406 (m6989586621680448404 b6989586621680448406))) (a6989586621680449046 :: b6989586621680448406) (a6989586621680449047 :: t6989586621680448403 a6989586621680448405) = FoldrM a6989586621680449045 a6989586621680449046 a6989586621680449047 Source #

data FoldlMSym0 :: forall a6989586621680448402 b6989586621680448401 m6989586621680448400 t6989586621680448399. (~>) ((~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) ((~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401))) Source #

Instances
(SFoldable t, SMonad m) => SingI (FoldlMSym0 :: TyFun (b ~> (a ~> m b)) (b ~> (t a ~> m b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym0 :: TyFun (b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) (b6989586621680448401 ~> (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) -> Type) (a6989586621680449023 :: b6989586621680448401 ~> (a6989586621680448402 ~> m6989586621680448400 b6989586621680448401)) = (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type)

data FoldlMSym1 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) :: forall t6989586621680448399. (~>) b6989586621680448401 ((~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401)) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (FoldlMSym1 d t :: TyFun b (t a ~> m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym1 d t) Source #

SuppressUnusedWarnings (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym1 a6989586621680449023 t6989586621680448399 :: TyFun b6989586621680448401 (t6989586621680448399 a6989586621680448402 ~> m6989586621680448400 b6989586621680448401) -> Type) (a6989586621680449024 :: b6989586621680448401) = (FoldlMSym2 a6989586621680449023 a6989586621680449024 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type)

data FoldlMSym2 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) :: forall t6989586621680448399. (~>) (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) Source #

Instances
(SFoldable t, SMonad m, SingI d1, SingI d2) => SingI (FoldlMSym2 d1 d2 t :: TyFun (t a) (m b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FoldlMSym2 d1 d2 t) Source #

SuppressUnusedWarnings (FoldlMSym2 a6989586621680449024 a6989586621680449023 t6989586621680448399 :: TyFun (t6989586621680448399 a6989586621680448402) (m6989586621680448400 b6989586621680448401) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FoldlMSym2 a6989586621680449024 a6989586621680449023 t :: TyFun (t a) (m b) -> Type) (a6989586621680449025 :: t a) = FoldlM a6989586621680449024 a6989586621680449023 a6989586621680449025

type FoldlMSym3 (a6989586621680449023 :: (~>) b6989586621680448401 ((~>) a6989586621680448402 (m6989586621680448400 b6989586621680448401))) (a6989586621680449024 :: b6989586621680448401) (a6989586621680449025 :: t6989586621680448399 a6989586621680448402) = FoldlM a6989586621680449023 a6989586621680449024 a6989586621680449025 Source #

data Traverse_Sym0 :: forall a6989586621680448397 b6989586621680448398 f6989586621680448396 t6989586621680448395. (~>) ((~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) ((~>) (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ())) Source #

Instances
(SFoldable t, SApplicative f) => SingI (Traverse_Sym0 :: TyFun (a ~> f b) (t a ~> f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Traverse_Sym0 :: TyFun (a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) (t6989586621680448395 a6989586621680448397 ~> f6989586621680448396 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Traverse_Sym0 :: TyFun (a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) (t6989586621680448395 a6989586621680448397 ~> f6989586621680448396 ()) -> Type) (a6989586621680449005 :: a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Traverse_Sym0 :: TyFun (a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) (t6989586621680448395 a6989586621680448397 ~> f6989586621680448396 ()) -> Type) (a6989586621680449005 :: a6989586621680448397 ~> f6989586621680448396 b6989586621680448398) = (Traverse_Sym1 a6989586621680449005 t6989586621680448395 :: TyFun (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ()) -> Type)

data Traverse_Sym1 (a6989586621680449005 :: (~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) :: forall t6989586621680448395. (~>) (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ()) Source #

Instances
(SFoldable t, SApplicative f, SingI d) => SingI (Traverse_Sym1 d t :: TyFun (t a) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (Traverse_Sym1 d t) Source #

SuppressUnusedWarnings (Traverse_Sym1 a6989586621680449005 t6989586621680448395 :: TyFun (t6989586621680448395 a6989586621680448397) (f6989586621680448396 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Traverse_Sym1 a6989586621680449005 t :: TyFun (t a) (f ()) -> Type) (a6989586621680449006 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Traverse_Sym1 a6989586621680449005 t :: TyFun (t a) (f ()) -> Type) (a6989586621680449006 :: t a) = Traverse_ a6989586621680449005 a6989586621680449006

type Traverse_Sym2 (a6989586621680449005 :: (~>) a6989586621680448397 (f6989586621680448396 b6989586621680448398)) (a6989586621680449006 :: t6989586621680448395 a6989586621680448397) = Traverse_ a6989586621680449005 a6989586621680449006 Source #

data For_Sym0 :: forall a6989586621680448393 b6989586621680448394 f6989586621680448392 t6989586621680448391. (~>) (t6989586621680448391 a6989586621680448393) ((~>) ((~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) (f6989586621680448392 ())) Source #

Instances
(SFoldable t, SApplicative f) => SingI (For_Sym0 :: TyFun (t a) ((a ~> f b) ~> f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (For_Sym0 :: TyFun (t6989586621680448391 a6989586621680448393) ((a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) ~> f6989586621680448392 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (For_Sym0 :: TyFun (t6989586621680448391 a6989586621680448393) ((a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) ~> f6989586621680448392 ()) -> Type) (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (For_Sym0 :: TyFun (t6989586621680448391 a6989586621680448393) ((a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) ~> f6989586621680448392 ()) -> Type) (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) = (For_Sym1 a6989586621680449017 b6989586621680448394 f6989586621680448392 :: TyFun (a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) (f6989586621680448392 ()) -> Type)

data For_Sym1 (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) :: forall b6989586621680448394 f6989586621680448392. (~>) ((~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) (f6989586621680448392 ()) Source #

Instances
(SFoldable t, SApplicative f, SingI d) => SingI (For_Sym1 d b f :: TyFun (a ~> f b) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (For_Sym1 d b f) Source #

SuppressUnusedWarnings (For_Sym1 a6989586621680449017 b6989586621680448394 f6989586621680448392 :: TyFun (a6989586621680448393 ~> f6989586621680448392 b6989586621680448394) (f6989586621680448392 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (For_Sym1 a6989586621680449017 b f :: TyFun (a ~> f b) (f ()) -> Type) (a6989586621680449018 :: a ~> f b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type For_Sym2 (a6989586621680449017 :: t6989586621680448391 a6989586621680448393) (a6989586621680449018 :: (~>) a6989586621680448393 (f6989586621680448392 b6989586621680448394)) = For_ a6989586621680449017 a6989586621680449018 Source #

data SequenceA_Sym0 :: forall a6989586621680448382 f6989586621680448381 t6989586621680448380. (~>) (t6989586621680448380 (f6989586621680448381 a6989586621680448382)) (f6989586621680448381 ()) Source #

Instances
(SFoldable t, SApplicative f) => SingI (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (SequenceA_Sym0 :: TyFun (t6989586621680448380 (f6989586621680448381 a6989586621680448382)) (f6989586621680448381 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (SequenceA_Sym0 :: TyFun (t (f a)) (f ()) -> Type) (a6989586621680448984 :: t (f a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type SequenceA_Sym1 (a6989586621680448984 :: t6989586621680448380 (f6989586621680448381 a6989586621680448382)) = SequenceA_ a6989586621680448984 Source #

data AsumSym0 :: forall a6989586621680448376 f6989586621680448375 t6989586621680448374. (~>) (t6989586621680448374 (f6989586621680448375 a6989586621680448376)) (f6989586621680448375 a6989586621680448376) Source #

Instances
(SFoldable t, SAlternative f) => SingI (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AsumSym0 :: TyFun (t6989586621680448374 (f6989586621680448375 a6989586621680448376)) (f6989586621680448375 a6989586621680448376) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AsumSym0 :: TyFun (t (f a)) (f a) -> Type) (a6989586621680448969 :: t (f a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type AsumSym1 (a6989586621680448969 :: t6989586621680448374 (f6989586621680448375 a6989586621680448376)) = Asum a6989586621680448969 Source #

data MapM_Sym0 :: forall a6989586621680448389 b6989586621680448390 m6989586621680448388 t6989586621680448387. (~>) ((~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) ((~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ())) Source #

Instances
(SFoldable t, SMonad m) => SingI (MapM_Sym0 :: TyFun (a ~> m b) (t a ~> m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym0 :: TyFun (a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) (t6989586621680448387 a6989586621680448389 ~> m6989586621680448388 ()) -> Type) (a6989586621680448987 :: a6989586621680448389 ~> m6989586621680448388 b6989586621680448390) = (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type)

data MapM_Sym1 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) :: forall t6989586621680448387. (~>) (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (MapM_Sym1 d t :: TyFun (t a) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (MapM_Sym1 d t) Source #

SuppressUnusedWarnings (MapM_Sym1 a6989586621680448987 t6989586621680448387 :: TyFun (t6989586621680448387 a6989586621680448389) (m6989586621680448388 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym1 a6989586621680448987 t :: TyFun (t a) (m ()) -> Type) (a6989586621680448988 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MapM_Sym1 a6989586621680448987 t :: TyFun (t a) (m ()) -> Type) (a6989586621680448988 :: t a) = MapM_ a6989586621680448987 a6989586621680448988

type MapM_Sym2 (a6989586621680448987 :: (~>) a6989586621680448389 (m6989586621680448388 b6989586621680448390)) (a6989586621680448988 :: t6989586621680448387 a6989586621680448389) = MapM_ a6989586621680448987 a6989586621680448988 Source #

data ForM_Sym0 :: forall a6989586621680448385 b6989586621680448386 m6989586621680448384 t6989586621680448383. (~>) (t6989586621680448383 a6989586621680448385) ((~>) ((~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) (m6989586621680448384 ())) Source #

Instances
(SFoldable t, SMonad m) => SingI (ForM_Sym0 :: TyFun (t a) ((a ~> m b) ~> m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ForM_Sym0 :: TyFun (t6989586621680448383 a6989586621680448385) ((a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) ~> m6989586621680448384 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ForM_Sym0 :: TyFun (t6989586621680448383 a6989586621680448385) ((a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) ~> m6989586621680448384 ()) -> Type) (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ForM_Sym0 :: TyFun (t6989586621680448383 a6989586621680448385) ((a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) ~> m6989586621680448384 ()) -> Type) (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) = (ForM_Sym1 a6989586621680448999 b6989586621680448386 m6989586621680448384 :: TyFun (a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) (m6989586621680448384 ()) -> Type)

data ForM_Sym1 (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) :: forall b6989586621680448386 m6989586621680448384. (~>) ((~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) (m6989586621680448384 ()) Source #

Instances
(SFoldable t, SMonad m, SingI d) => SingI (ForM_Sym1 d b m :: TyFun (a ~> m b) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (ForM_Sym1 d b m) Source #

SuppressUnusedWarnings (ForM_Sym1 a6989586621680448999 b6989586621680448386 m6989586621680448384 :: TyFun (a6989586621680448385 ~> m6989586621680448384 b6989586621680448386) (m6989586621680448384 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ForM_Sym1 a6989586621680448999 b m :: TyFun (a ~> m b) (m ()) -> Type) (a6989586621680449000 :: a ~> m b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type ForM_Sym2 (a6989586621680448999 :: t6989586621680448383 a6989586621680448385) (a6989586621680449000 :: (~>) a6989586621680448385 (m6989586621680448384 b6989586621680448386)) = ForM_ a6989586621680448999 a6989586621680449000 Source #

data Sequence_Sym0 :: forall a6989586621680448379 m6989586621680448378 t6989586621680448377. (~>) (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) Source #

Instances
(SFoldable t, SMonad m) => SingI (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (Sequence_Sym0 :: TyFun (t6989586621680448377 (m6989586621680448378 a6989586621680448379)) (m6989586621680448378 ()) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (Sequence_Sym0 :: TyFun (t (m a)) (m ()) -> Type) (a6989586621680448979 :: t (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type Sequence_Sym1 (a6989586621680448979 :: t6989586621680448377 (m6989586621680448378 a6989586621680448379)) = Sequence_ a6989586621680448979 Source #

data MsumSym0 :: forall a6989586621680448373 m6989586621680448372 t6989586621680448371. (~>) (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) Source #

Instances
(SFoldable t, SMonadPlus m) => SingI (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MsumSym0 :: TyFun (t6989586621680448371 (m6989586621680448372 a6989586621680448373)) (m6989586621680448372 a6989586621680448373) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MsumSym0 :: TyFun (t (m a)) (m a) -> Type) (a6989586621680448974 :: t (m a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type MsumSym1 (a6989586621680448974 :: t6989586621680448371 (m6989586621680448372 a6989586621680448373)) = Msum a6989586621680448974 Source #

data ConcatSym0 :: forall a6989586621680448370 t6989586621680448369. (~>) (t6989586621680448369 [a6989586621680448370]) [a6989586621680448370] Source #

Instances
SFoldable t => SingI (ConcatSym0 :: TyFun (t [a]) [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConcatSym0 :: TyFun (t6989586621680448369 [a6989586621680448370]) [a6989586621680448370] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ConcatSym0 :: TyFun (t [a]) [a] -> Type) (a6989586621680448955 :: t [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type ConcatSym1 (a6989586621680448955 :: t6989586621680448369 [a6989586621680448370]) = Concat a6989586621680448955 Source #

data ConcatMapSym0 :: forall a6989586621680448367 b6989586621680448368 t6989586621680448366. (~>) ((~>) a6989586621680448367 [b6989586621680448368]) ((~>) (t6989586621680448366 a6989586621680448367) [b6989586621680448368]) Source #

Instances
SFoldable t => SingI (ConcatMapSym0 :: TyFun (a ~> [b]) (t a ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (a6989586621680448367 ~> [b6989586621680448368]) (t6989586621680448366 a6989586621680448367 ~> [b6989586621680448368]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ConcatMapSym0 :: TyFun (a6989586621680448367 ~> [b6989586621680448368]) (t6989586621680448366 a6989586621680448367 ~> [b6989586621680448368]) -> Type) (a6989586621680448939 :: a6989586621680448367 ~> [b6989586621680448368]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ConcatMapSym0 :: TyFun (a6989586621680448367 ~> [b6989586621680448368]) (t6989586621680448366 a6989586621680448367 ~> [b6989586621680448368]) -> Type) (a6989586621680448939 :: a6989586621680448367 ~> [b6989586621680448368]) = (ConcatMapSym1 a6989586621680448939 t6989586621680448366 :: TyFun (t6989586621680448366 a6989586621680448367) [b6989586621680448368] -> Type)

data ConcatMapSym1 (a6989586621680448939 :: (~>) a6989586621680448367 [b6989586621680448368]) :: forall t6989586621680448366. (~>) (t6989586621680448366 a6989586621680448367) [b6989586621680448368] Source #

Instances
(SFoldable t, SingI d) => SingI (ConcatMapSym1 d t :: TyFun (t a) [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (ConcatMapSym1 d t) Source #

SuppressUnusedWarnings (ConcatMapSym1 a6989586621680448939 t6989586621680448366 :: TyFun (t6989586621680448366 a6989586621680448367) [b6989586621680448368] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (ConcatMapSym1 a6989586621680448939 t :: TyFun (t a) [b] -> Type) (a6989586621680448940 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type ConcatMapSym2 (a6989586621680448939 :: (~>) a6989586621680448367 [b6989586621680448368]) (a6989586621680448940 :: t6989586621680448366 a6989586621680448367) = ConcatMap a6989586621680448939 a6989586621680448940 Source #

data AndSym0 :: forall t6989586621680448365. (~>) (t6989586621680448365 Bool) Bool Source #

Instances
SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AndSym0 :: TyFun (t6989586621680448365 Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680448930 :: t Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type AndSym1 (a6989586621680448930 :: t6989586621680448365 Bool) = And a6989586621680448930 Source #

data OrSym0 :: forall t6989586621680448364. (~>) (t6989586621680448364 Bool) Bool Source #

Instances
SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing OrSym0 Source #

SuppressUnusedWarnings (OrSym0 :: TyFun (t6989586621680448364 Bool) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680448921 :: t Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

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

type OrSym1 (a6989586621680448921 :: t6989586621680448364 Bool) = Or a6989586621680448921 Source #

data AnySym0 :: forall a6989586621680448363 t6989586621680448362. (~>) ((~>) a6989586621680448363 Bool) ((~>) (t6989586621680448362 a6989586621680448363) Bool) Source #

Instances
SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AnySym0 :: TyFun (a6989586621680448363 ~> Bool) (t6989586621680448362 a6989586621680448363 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AnySym0 :: TyFun (a6989586621680448363 ~> Bool) (t6989586621680448362 a6989586621680448363 ~> Bool) -> Type) (a6989586621680448908 :: a6989586621680448363 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AnySym0 :: TyFun (a6989586621680448363 ~> Bool) (t6989586621680448362 a6989586621680448363 ~> Bool) -> Type) (a6989586621680448908 :: a6989586621680448363 ~> Bool) = (AnySym1 a6989586621680448908 t6989586621680448362 :: TyFun (t6989586621680448362 a6989586621680448363) Bool -> Type)

data AnySym1 (a6989586621680448908 :: (~>) a6989586621680448363 Bool) :: forall t6989586621680448362. (~>) (t6989586621680448362 a6989586621680448363) Bool Source #

Instances
(SFoldable t, SingI d) => SingI (AnySym1 d t :: TyFun (t a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (AnySym1 d t) Source #

SuppressUnusedWarnings (AnySym1 a6989586621680448908 t6989586621680448362 :: TyFun (t6989586621680448362 a6989586621680448363) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AnySym1 a6989586621680448908 t :: TyFun (t a) Bool -> Type) (a6989586621680448909 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AnySym1 a6989586621680448908 t :: TyFun (t a) Bool -> Type) (a6989586621680448909 :: t a) = Any a6989586621680448908 a6989586621680448909

type AnySym2 (a6989586621680448908 :: (~>) a6989586621680448363 Bool) (a6989586621680448909 :: t6989586621680448362 a6989586621680448363) = Any a6989586621680448908 a6989586621680448909 Source #

data AllSym0 :: forall a6989586621680448361 t6989586621680448360. (~>) ((~>) a6989586621680448361 Bool) ((~>) (t6989586621680448360 a6989586621680448361) Bool) Source #

Instances
SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (AllSym0 :: TyFun (a6989586621680448361 ~> Bool) (t6989586621680448360 a6989586621680448361 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AllSym0 :: TyFun (a6989586621680448361 ~> Bool) (t6989586621680448360 a6989586621680448361 ~> Bool) -> Type) (a6989586621680448895 :: a6989586621680448361 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AllSym0 :: TyFun (a6989586621680448361 ~> Bool) (t6989586621680448360 a6989586621680448361 ~> Bool) -> Type) (a6989586621680448895 :: a6989586621680448361 ~> Bool) = (AllSym1 a6989586621680448895 t6989586621680448360 :: TyFun (t6989586621680448360 a6989586621680448361) Bool -> Type)

data AllSym1 (a6989586621680448895 :: (~>) a6989586621680448361 Bool) :: forall t6989586621680448360. (~>) (t6989586621680448360 a6989586621680448361) Bool Source #

Instances
(SFoldable t, SingI d) => SingI (AllSym1 d t :: TyFun (t a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (AllSym1 d t) Source #

SuppressUnusedWarnings (AllSym1 a6989586621680448895 t6989586621680448360 :: TyFun (t6989586621680448360 a6989586621680448361) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AllSym1 a6989586621680448895 t :: TyFun (t a) Bool -> Type) (a6989586621680448896 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (AllSym1 a6989586621680448895 t :: TyFun (t a) Bool -> Type) (a6989586621680448896 :: t a) = All a6989586621680448895 a6989586621680448896

type AllSym2 (a6989586621680448895 :: (~>) a6989586621680448361 Bool) (a6989586621680448896 :: t6989586621680448360 a6989586621680448361) = All a6989586621680448895 a6989586621680448896 Source #

data MaximumBySym0 :: forall a6989586621680448359 t6989586621680448358. (~>) ((~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) ((~>) (t6989586621680448358 a6989586621680448359) a6989586621680448359) Source #

Instances
SFoldable t => SingI (MaximumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MaximumBySym0 :: TyFun (a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) (t6989586621680448358 a6989586621680448359 ~> a6989586621680448359) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MaximumBySym0 :: TyFun (a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) (t6989586621680448358 a6989586621680448359 ~> a6989586621680448359) -> Type) (a6989586621680448870 :: a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MaximumBySym0 :: TyFun (a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) (t6989586621680448358 a6989586621680448359 ~> a6989586621680448359) -> Type) (a6989586621680448870 :: a6989586621680448359 ~> (a6989586621680448359 ~> Ordering)) = (MaximumBySym1 a6989586621680448870 t6989586621680448358 :: TyFun (t6989586621680448358 a6989586621680448359) a6989586621680448359 -> Type)

data MaximumBySym1 (a6989586621680448870 :: (~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) :: forall t6989586621680448358. (~>) (t6989586621680448358 a6989586621680448359) a6989586621680448359 Source #

Instances
(SFoldable t, SingI d) => SingI (MaximumBySym1 d t :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (MaximumBySym1 d t) Source #

SuppressUnusedWarnings (MaximumBySym1 a6989586621680448870 t6989586621680448358 :: TyFun (t6989586621680448358 a6989586621680448359) a6989586621680448359 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MaximumBySym1 a6989586621680448870 t :: TyFun (t a) a -> Type) (a6989586621680448871 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MaximumBySym1 a6989586621680448870 t :: TyFun (t a) a -> Type) (a6989586621680448871 :: t a) = MaximumBy a6989586621680448870 a6989586621680448871

type MaximumBySym2 (a6989586621680448870 :: (~>) a6989586621680448359 ((~>) a6989586621680448359 Ordering)) (a6989586621680448871 :: t6989586621680448358 a6989586621680448359) = MaximumBy a6989586621680448870 a6989586621680448871 Source #

data MinimumBySym0 :: forall a6989586621680448357 t6989586621680448356. (~>) ((~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) ((~>) (t6989586621680448356 a6989586621680448357) a6989586621680448357) Source #

Instances
SFoldable t => SingI (MinimumBySym0 :: TyFun (a ~> (a ~> Ordering)) (t a ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (MinimumBySym0 :: TyFun (a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) (t6989586621680448356 a6989586621680448357 ~> a6989586621680448357) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MinimumBySym0 :: TyFun (a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) (t6989586621680448356 a6989586621680448357 ~> a6989586621680448357) -> Type) (a6989586621680448845 :: a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MinimumBySym0 :: TyFun (a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) (t6989586621680448356 a6989586621680448357 ~> a6989586621680448357) -> Type) (a6989586621680448845 :: a6989586621680448357 ~> (a6989586621680448357 ~> Ordering)) = (MinimumBySym1 a6989586621680448845 t6989586621680448356 :: TyFun (t6989586621680448356 a6989586621680448357) a6989586621680448357 -> Type)

data MinimumBySym1 (a6989586621680448845 :: (~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) :: forall t6989586621680448356. (~>) (t6989586621680448356 a6989586621680448357) a6989586621680448357 Source #

Instances
(SFoldable t, SingI d) => SingI (MinimumBySym1 d t :: TyFun (t a) a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (MinimumBySym1 d t) Source #

SuppressUnusedWarnings (MinimumBySym1 a6989586621680448845 t6989586621680448356 :: TyFun (t6989586621680448356 a6989586621680448357) a6989586621680448357 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MinimumBySym1 a6989586621680448845 t :: TyFun (t a) a -> Type) (a6989586621680448846 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (MinimumBySym1 a6989586621680448845 t :: TyFun (t a) a -> Type) (a6989586621680448846 :: t a) = MinimumBy a6989586621680448845 a6989586621680448846

type MinimumBySym2 (a6989586621680448845 :: (~>) a6989586621680448357 ((~>) a6989586621680448357 Ordering)) (a6989586621680448846 :: t6989586621680448356 a6989586621680448357) = MinimumBy a6989586621680448845 a6989586621680448846 Source #

data NotElemSym0 :: forall a6989586621680448355 t6989586621680448354. (~>) a6989586621680448355 ((~>) (t6989586621680448354 a6989586621680448355) Bool) Source #

Instances
(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621680448355 (t6989586621680448354 a6989586621680448355 ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (NotElemSym0 :: TyFun a6989586621680448355 (t6989586621680448354 a6989586621680448355 ~> Bool) -> Type) (a6989586621680448837 :: a6989586621680448355) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (NotElemSym0 :: TyFun a6989586621680448355 (t6989586621680448354 a6989586621680448355 ~> Bool) -> Type) (a6989586621680448837 :: a6989586621680448355) = (NotElemSym1 a6989586621680448837 t6989586621680448354 :: TyFun (t6989586621680448354 a6989586621680448355) Bool -> Type)

data NotElemSym1 (a6989586621680448837 :: a6989586621680448355) :: forall t6989586621680448354. (~>) (t6989586621680448354 a6989586621680448355) Bool Source #

Instances
(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d t :: TyFun (t a) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (NotElemSym1 d t) Source #

SuppressUnusedWarnings (NotElemSym1 a6989586621680448837 t6989586621680448354 :: TyFun (t6989586621680448354 a6989586621680448355) Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (NotElemSym1 a6989586621680448837 t :: TyFun (t a) Bool -> Type) (a6989586621680448838 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (NotElemSym1 a6989586621680448837 t :: TyFun (t a) Bool -> Type) (a6989586621680448838 :: t a) = NotElem a6989586621680448837 a6989586621680448838

type NotElemSym2 (a6989586621680448837 :: a6989586621680448355) (a6989586621680448838 :: t6989586621680448354 a6989586621680448355) = NotElem a6989586621680448837 a6989586621680448838 Source #

data FindSym0 :: forall a6989586621680448353 t6989586621680448352. (~>) ((~>) a6989586621680448353 Bool) ((~>) (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353)) Source #

Instances
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

SuppressUnusedWarnings (FindSym0 :: TyFun (a6989586621680448353 ~> Bool) (t6989586621680448352 a6989586621680448353 ~> Maybe a6989586621680448353) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FindSym0 :: TyFun (a6989586621680448353 ~> Bool) (t6989586621680448352 a6989586621680448353 ~> Maybe a6989586621680448353) -> Type) (a6989586621680448810 :: a6989586621680448353 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FindSym0 :: TyFun (a6989586621680448353 ~> Bool) (t6989586621680448352 a6989586621680448353 ~> Maybe a6989586621680448353) -> Type) (a6989586621680448810 :: a6989586621680448353 ~> Bool) = (FindSym1 a6989586621680448810 t6989586621680448352 :: TyFun (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353) -> Type)

data FindSym1 (a6989586621680448810 :: (~>) a6989586621680448353 Bool) :: forall t6989586621680448352. (~>) (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353) Source #

Instances
(SFoldable t, SingI d) => SingI (FindSym1 d t :: TyFun (t a) (Maybe a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

Methods

sing :: Sing (FindSym1 d t) Source #

SuppressUnusedWarnings (FindSym1 a6989586621680448810 t6989586621680448352 :: TyFun (t6989586621680448352 a6989586621680448353) (Maybe a6989586621680448353) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FindSym1 a6989586621680448810 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680448811 :: t a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Foldable

type Apply (FindSym1 a6989586621680448810 t :: TyFun (t a) (Maybe a) -> Type) (a6989586621680448811 :: t a) = Find a6989586621680448810 a6989586621680448811

type FindSym2 (a6989586621680448810 :: (~>) a6989586621680448353 Bool) (a6989586621680448811 :: t6989586621680448352 a6989586621680448353) = Find a6989586621680448810 a6989586621680448811 Source #