singletons-2.7: A framework for generating singleton types
Copyright(C) 2016 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRyan Scott
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.List.Internal.Disambiguation

Description

Renames a bunch of List functions because singletons can't support qualified names. :(

Documentation

type family Listsum a where ... Source #

Equations

Listsum a_6989586621680395512 = Apply SumSym0 a_6989586621680395512 

type ListsumSym1 (a6989586621680395516 :: [a]) = Listsum a6989586621680395516 :: a Source #

data ListsumSym0 a6989586621680395516 where Source #

Constructors

ListsumSym0KindInference :: SameKind (Apply ListsumSym0 arg) (ListsumSym1 arg) => ListsumSym0 a6989586621680395516 

Instances

Instances details
SNum a => SingI (ListsumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsumSym0 :: TyFun [a] a -> Type) (a6989586621680395516 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsumSym0 :: TyFun [a] a -> Type) (a6989586621680395516 :: [a]) = ListsumSym1 a6989586621680395516

type family Listproduct a where ... Source #

Equations

Listproduct a_6989586621680395518 = Apply ProductSym0 a_6989586621680395518 

type ListproductSym1 (a6989586621680395522 :: [a]) = Listproduct a6989586621680395522 :: a Source #

data ListproductSym0 a6989586621680395522 where Source #

Constructors

ListproductSym0KindInference :: SameKind (Apply ListproductSym0 arg) (ListproductSym1 arg) => ListproductSym0 a6989586621680395522 

Instances

Instances details
SNum a => SingI (ListproductSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListproductSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListproductSym0 :: TyFun [a] a -> Type) (a6989586621680395522 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListproductSym0 :: TyFun [a] a -> Type) (a6989586621680395522 :: [a]) = ListproductSym1 a6989586621680395522

type family Listnull a where ... Source #

Equations

Listnull a_6989586621680395524 = Apply NullSym0 a_6989586621680395524 

type ListnullSym1 (a6989586621680395528 :: [a]) = Listnull a6989586621680395528 :: Bool Source #

data ListnullSym0 a6989586621680395528 where Source #

Constructors

ListnullSym0KindInference :: SameKind (Apply ListnullSym0 arg) (ListnullSym1 arg) => ListnullSym0 a6989586621680395528 

Instances

Instances details
SingI (ListnullSym0 :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListnullSym0 :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680395528 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680395528 :: [a]) = ListnullSym1 a6989586621680395528

type family Listminimum a where ... Source #

Equations

Listminimum a_6989586621680395530 = Apply MinimumSym0 a_6989586621680395530 

type ListminimumSym1 (a6989586621680395534 :: [a]) = Listminimum a6989586621680395534 :: a Source #

data ListminimumSym0 a6989586621680395534 where Source #

Constructors

ListminimumSym0KindInference :: SameKind (Apply ListminimumSym0 arg) (ListminimumSym1 arg) => ListminimumSym0 a6989586621680395534 

Instances

Instances details
SOrd a => SingI (ListminimumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListminimumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListminimumSym0 :: TyFun [a] a -> Type) (a6989586621680395534 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListminimumSym0 :: TyFun [a] a -> Type) (a6989586621680395534 :: [a]) = ListminimumSym1 a6989586621680395534

type family Listmaximum a where ... Source #

Equations

Listmaximum a_6989586621680395536 = Apply MaximumSym0 a_6989586621680395536 

type ListmaximumSym1 (a6989586621680395540 :: [a]) = Listmaximum a6989586621680395540 :: a Source #

data ListmaximumSym0 a6989586621680395540 where Source #

Constructors

ListmaximumSym0KindInference :: SameKind (Apply ListmaximumSym0 arg) (ListmaximumSym1 arg) => ListmaximumSym0 a6989586621680395540 

Instances

Instances details
SOrd a => SingI (ListmaximumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListmaximumSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmaximumSym0 :: TyFun [a] a -> Type) (a6989586621680395540 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmaximumSym0 :: TyFun [a] a -> Type) (a6989586621680395540 :: [a]) = ListmaximumSym1 a6989586621680395540

type family Listfoldr1 a a where ... Source #

Equations

Listfoldr1 a_6989586621680395542 a_6989586621680395544 = Apply (Apply Foldr1Sym0 a_6989586621680395542) a_6989586621680395544 

type Listfoldr1Sym2 (a6989586621680395549 :: (~>) a ((~>) a a)) (a6989586621680395550 :: [a]) = Listfoldr1 a6989586621680395549 a6989586621680395550 :: a Source #

data Listfoldr1Sym1 a6989586621680395549 a6989586621680395550 where Source #

Constructors

Listfoldr1Sym1KindInference :: SameKind (Apply (Listfoldr1Sym1 a6989586621680395549) arg) (Listfoldr1Sym2 a6989586621680395549 arg) => Listfoldr1Sym1 a6989586621680395549 a6989586621680395550 

Instances

Instances details
SingI d => SingI (Listfoldr1Sym1 d :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldr1Sym1 a6989586621680395549 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldr1Sym1 a6989586621680395549 :: TyFun [a] a -> Type) (a6989586621680395550 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldr1Sym1 a6989586621680395549 :: TyFun [a] a -> Type) (a6989586621680395550 :: [a]) = Listfoldr1Sym2 a6989586621680395549 a6989586621680395550

data Listfoldr1Sym0 a6989586621680395549 where Source #

Constructors

Listfoldr1Sym0KindInference :: SameKind (Apply Listfoldr1Sym0 arg) (Listfoldr1Sym1 arg) => Listfoldr1Sym0 a6989586621680395549 

Instances

Instances details
SingI (Listfoldr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) (a6989586621680395549 :: a ~> (a ~> a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) (a6989586621680395549 :: a ~> (a ~> a)) = Listfoldr1Sym1 a6989586621680395549

type family Listfoldr a a a where ... Source #

Equations

Listfoldr a_6989586621680395553 a_6989586621680395555 a_6989586621680395557 = Apply (Apply (Apply FoldrSym0 a_6989586621680395553) a_6989586621680395555) a_6989586621680395557 

type ListfoldrSym3 (a6989586621680395563 :: (~>) a ((~>) b b)) (a6989586621680395564 :: b) (a6989586621680395565 :: [a]) = Listfoldr a6989586621680395563 a6989586621680395564 a6989586621680395565 :: b Source #

data ListfoldrSym2 a6989586621680395563 a6989586621680395564 a6989586621680395565 where Source #

Constructors

ListfoldrSym2KindInference :: SameKind (Apply (ListfoldrSym2 a6989586621680395563 a6989586621680395564) arg) (ListfoldrSym3 a6989586621680395563 a6989586621680395564 arg) => ListfoldrSym2 a6989586621680395563 a6989586621680395564 a6989586621680395565 

Instances

Instances details
(SingI d1, SingI d2) => SingI (ListfoldrSym2 d1 d2 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListfoldrSym2 d1 d2) Source #

SuppressUnusedWarnings (ListfoldrSym2 a6989586621680395563 a6989586621680395564 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym2 a6989586621680395563 a6989586621680395564 :: TyFun [a] b -> Type) (a6989586621680395565 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym2 a6989586621680395563 a6989586621680395564 :: TyFun [a] b -> Type) (a6989586621680395565 :: [a]) = ListfoldrSym3 a6989586621680395563 a6989586621680395564 a6989586621680395565

data ListfoldrSym1 a6989586621680395563 a6989586621680395564 where Source #

Constructors

ListfoldrSym1KindInference :: SameKind (Apply (ListfoldrSym1 a6989586621680395563) arg) (ListfoldrSym2 a6989586621680395563 arg) => ListfoldrSym1 a6989586621680395563 a6989586621680395564 

Instances

Instances details
SingI d => SingI (ListfoldrSym1 d :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfoldrSym1 a6989586621680395563 :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym1 a6989586621680395563 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395564 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym1 a6989586621680395563 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395564 :: b) = ListfoldrSym2 a6989586621680395563 a6989586621680395564

data ListfoldrSym0 a6989586621680395563 where Source #

Constructors

ListfoldrSym0KindInference :: SameKind (Apply ListfoldrSym0 arg) (ListfoldrSym1 arg) => ListfoldrSym0 a6989586621680395563 

Instances

Instances details
SingI (ListfoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395563 :: a ~> (b ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395563 :: a ~> (b ~> b)) = ListfoldrSym1 a6989586621680395563

type family Listfoldl1 a a where ... Source #

Equations

Listfoldl1 a_6989586621680395569 a_6989586621680395571 = Apply (Apply Foldl1Sym0 a_6989586621680395569) a_6989586621680395571 

type Listfoldl1Sym2 (a6989586621680395576 :: (~>) a ((~>) a a)) (a6989586621680395577 :: [a]) = Listfoldl1 a6989586621680395576 a6989586621680395577 :: a Source #

data Listfoldl1Sym1 a6989586621680395576 a6989586621680395577 where Source #

Constructors

Listfoldl1Sym1KindInference :: SameKind (Apply (Listfoldl1Sym1 a6989586621680395576) arg) (Listfoldl1Sym2 a6989586621680395576 arg) => Listfoldl1Sym1 a6989586621680395576 a6989586621680395577 

Instances

Instances details
SingI d => SingI (Listfoldl1Sym1 d :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldl1Sym1 a6989586621680395576 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl1Sym1 a6989586621680395576 :: TyFun [a] a -> Type) (a6989586621680395577 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl1Sym1 a6989586621680395576 :: TyFun [a] a -> Type) (a6989586621680395577 :: [a]) = Listfoldl1Sym2 a6989586621680395576 a6989586621680395577

data Listfoldl1Sym0 a6989586621680395576 where Source #

Constructors

Listfoldl1Sym0KindInference :: SameKind (Apply Listfoldl1Sym0 arg) (Listfoldl1Sym1 arg) => Listfoldl1Sym0 a6989586621680395576 

Instances

Instances details
SingI (Listfoldl1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldl1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) (a6989586621680395576 :: a ~> (a ~> a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> a) -> Type) (a6989586621680395576 :: a ~> (a ~> a)) = Listfoldl1Sym1 a6989586621680395576

type family Listfoldl' a a a where ... Source #

Equations

Listfoldl' a_6989586621680395580 a_6989586621680395582 a_6989586621680395584 = Apply (Apply (Apply Foldl'Sym0 a_6989586621680395580) a_6989586621680395582) a_6989586621680395584 

type Listfoldl'Sym3 (a6989586621680395590 :: (~>) b ((~>) a b)) (a6989586621680395591 :: b) (a6989586621680395592 :: [a]) = Listfoldl' a6989586621680395590 a6989586621680395591 a6989586621680395592 :: b Source #

data Listfoldl'Sym2 a6989586621680395590 a6989586621680395591 a6989586621680395592 where Source #

Constructors

Listfoldl'Sym2KindInference :: SameKind (Apply (Listfoldl'Sym2 a6989586621680395590 a6989586621680395591) arg) (Listfoldl'Sym3 a6989586621680395590 a6989586621680395591 arg) => Listfoldl'Sym2 a6989586621680395590 a6989586621680395591 a6989586621680395592 

Instances

Instances details
(SingI d1, SingI d2) => SingI (Listfoldl'Sym2 d1 d2 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (Listfoldl'Sym2 d1 d2) Source #

SuppressUnusedWarnings (Listfoldl'Sym2 a6989586621680395590 a6989586621680395591 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym2 a6989586621680395590 a6989586621680395591 :: TyFun [a] b -> Type) (a6989586621680395592 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym2 a6989586621680395590 a6989586621680395591 :: TyFun [a] b -> Type) (a6989586621680395592 :: [a]) = Listfoldl'Sym3 a6989586621680395590 a6989586621680395591 a6989586621680395592

data Listfoldl'Sym1 a6989586621680395590 a6989586621680395591 where Source #

Constructors

Listfoldl'Sym1KindInference :: SameKind (Apply (Listfoldl'Sym1 a6989586621680395590) arg) (Listfoldl'Sym2 a6989586621680395590 arg) => Listfoldl'Sym1 a6989586621680395590 a6989586621680395591 

Instances

Instances details
SingI d => SingI (Listfoldl'Sym1 d :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldl'Sym1 a6989586621680395590 :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym1 a6989586621680395590 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395591 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym1 a6989586621680395590 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395591 :: b) = Listfoldl'Sym2 a6989586621680395590 a6989586621680395591

data Listfoldl'Sym0 a6989586621680395590 where Source #

Constructors

Listfoldl'Sym0KindInference :: SameKind (Apply Listfoldl'Sym0 arg) (Listfoldl'Sym1 arg) => Listfoldl'Sym0 a6989586621680395590 

Instances

Instances details
SingI (Listfoldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listfoldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395590 :: b ~> (a ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listfoldl'Sym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395590 :: b ~> (a ~> b)) = Listfoldl'Sym1 a6989586621680395590

type family Listfoldl a a a where ... Source #

Equations

Listfoldl a_6989586621680395596 a_6989586621680395598 a_6989586621680395600 = Apply (Apply (Apply FoldlSym0 a_6989586621680395596) a_6989586621680395598) a_6989586621680395600 

type ListfoldlSym3 (a6989586621680395606 :: (~>) b ((~>) a b)) (a6989586621680395607 :: b) (a6989586621680395608 :: [a]) = Listfoldl a6989586621680395606 a6989586621680395607 a6989586621680395608 :: b Source #

data ListfoldlSym2 a6989586621680395606 a6989586621680395607 a6989586621680395608 where Source #

Constructors

ListfoldlSym2KindInference :: SameKind (Apply (ListfoldlSym2 a6989586621680395606 a6989586621680395607) arg) (ListfoldlSym3 a6989586621680395606 a6989586621680395607 arg) => ListfoldlSym2 a6989586621680395606 a6989586621680395607 a6989586621680395608 

Instances

Instances details
(SingI d1, SingI d2) => SingI (ListfoldlSym2 d1 d2 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListfoldlSym2 d1 d2) Source #

SuppressUnusedWarnings (ListfoldlSym2 a6989586621680395606 a6989586621680395607 :: TyFun [a] b -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym2 a6989586621680395606 a6989586621680395607 :: TyFun [a] b -> Type) (a6989586621680395608 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym2 a6989586621680395606 a6989586621680395607 :: TyFun [a] b -> Type) (a6989586621680395608 :: [a]) = ListfoldlSym3 a6989586621680395606 a6989586621680395607 a6989586621680395608

data ListfoldlSym1 a6989586621680395606 a6989586621680395607 where Source #

Constructors

ListfoldlSym1KindInference :: SameKind (Apply (ListfoldlSym1 a6989586621680395606) arg) (ListfoldlSym2 a6989586621680395606 arg) => ListfoldlSym1 a6989586621680395606 a6989586621680395607 

Instances

Instances details
SingI d => SingI (ListfoldlSym1 d :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfoldlSym1 a6989586621680395606 :: TyFun b ([a] ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym1 a6989586621680395606 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395607 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym1 a6989586621680395606 :: TyFun b ([a] ~> b) -> Type) (a6989586621680395607 :: b) = ListfoldlSym2 a6989586621680395606 a6989586621680395607

data ListfoldlSym0 a6989586621680395606 where Source #

Constructors

ListfoldlSym0KindInference :: SameKind (Apply ListfoldlSym0 arg) (ListfoldlSym1 arg) => ListfoldlSym0 a6989586621680395606 

Instances

Instances details
SingI (ListfoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395606 :: b ~> (a ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfoldlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621680395606 :: b ~> (a ~> b)) = ListfoldlSym1 a6989586621680395606

type family Listelem a a where ... Source #

Equations

Listelem a_6989586621680395612 a_6989586621680395614 = Apply (Apply ElemSym0 a_6989586621680395612) a_6989586621680395614 

type ListelemSym2 (a6989586621680395619 :: a) (a6989586621680395620 :: [a]) = Listelem a6989586621680395619 a6989586621680395620 :: Bool Source #

data ListelemSym1 a6989586621680395619 a6989586621680395620 where Source #

Constructors

ListelemSym1KindInference :: SameKind (Apply (ListelemSym1 a6989586621680395619) arg) (ListelemSym2 a6989586621680395619 arg) => ListelemSym1 a6989586621680395619 a6989586621680395620 

Instances

Instances details
(SEq a, SingI d) => SingI (ListelemSym1 d :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListelemSym1 d) Source #

SuppressUnusedWarnings (ListelemSym1 a6989586621680395619 :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListelemSym1 a6989586621680395619 :: TyFun [a] Bool -> Type) (a6989586621680395620 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListelemSym1 a6989586621680395619 :: TyFun [a] Bool -> Type) (a6989586621680395620 :: [a]) = ListelemSym2 a6989586621680395619 a6989586621680395620

data ListelemSym0 a6989586621680395619 where Source #

Constructors

ListelemSym0KindInference :: SameKind (Apply ListelemSym0 arg) (ListelemSym1 arg) => ListelemSym0 a6989586621680395619 

Instances

Instances details
SEq a => SingI (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680395619 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680395619 :: a) = ListelemSym1 a6989586621680395619

type family Listmap a a where ... Source #

Equations

Listmap a_6989586621680395623 a_6989586621680395625 = Apply (Apply MapSym0 a_6989586621680395623) a_6989586621680395625 

type ListmapSym2 (a6989586621680395630 :: (~>) a b) (a6989586621680395631 :: [a]) = Listmap a6989586621680395630 a6989586621680395631 :: [b] Source #

data ListmapSym1 a6989586621680395630 a6989586621680395631 where Source #

Constructors

ListmapSym1KindInference :: SameKind (Apply (ListmapSym1 a6989586621680395630) arg) (ListmapSym2 a6989586621680395630 arg) => ListmapSym1 a6989586621680395630 a6989586621680395631 

Instances

Instances details
SingI d => SingI (ListmapSym1 d :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListmapSym1 d) Source #

SuppressUnusedWarnings (ListmapSym1 a6989586621680395630 :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmapSym1 a6989586621680395630 :: TyFun [a] [b] -> Type) (a6989586621680395631 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmapSym1 a6989586621680395630 :: TyFun [a] [b] -> Type) (a6989586621680395631 :: [a]) = ListmapSym2 a6989586621680395630 a6989586621680395631

data ListmapSym0 a6989586621680395630 where Source #

Constructors

ListmapSym0KindInference :: SameKind (Apply ListmapSym0 arg) (ListmapSym1 arg) => ListmapSym0 a6989586621680395630 

Instances

Instances details
SingI (ListmapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListmapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) (a6989586621680395630 :: a ~> b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListmapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) (a6989586621680395630 :: a ~> b) = ListmapSym1 a6989586621680395630

type family Listunzip a where ... Source #

Equations

Listunzip a_6989586621680395634 = Apply UnzipSym0 a_6989586621680395634 

type ListunzipSym1 (a6989586621680395638 :: [(a, b)]) = Listunzip a6989586621680395638 :: ([a], [b]) Source #

data ListunzipSym0 a6989586621680395638 where Source #

Constructors

ListunzipSym0KindInference :: SameKind (Apply ListunzipSym0 arg) (ListunzipSym1 arg) => ListunzipSym0 a6989586621680395638 

Instances

Instances details
SingI (ListunzipSym0 :: TyFun [(a, b)] ([a], [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListunzipSym0 :: TyFun [(a, b)] ([a], [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListunzipSym0 :: TyFun [(a, b)] ([a], [b]) -> Type) (a6989586621680395638 :: [(a, b)]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListunzipSym0 :: TyFun [(a, b)] ([a], [b]) -> Type) (a6989586621680395638 :: [(a, b)]) = ListunzipSym1 a6989586621680395638

type family Listtranspose a where ... Source #

Equations

Listtranspose a_6989586621680395640 = Apply TransposeSym0 a_6989586621680395640 

type ListtransposeSym1 (a6989586621680395644 :: [[a]]) = Listtranspose a6989586621680395644 :: [[a]] Source #

data ListtransposeSym0 a6989586621680395644 where Source #

Instances

Instances details
SingI (ListtransposeSym0 :: TyFun [[a]] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListtransposeSym0 :: TyFun [[a]] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtransposeSym0 :: TyFun [[a]] [[a]] -> Type) (a6989586621680395644 :: [[a]]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtransposeSym0 :: TyFun [[a]] [[a]] -> Type) (a6989586621680395644 :: [[a]]) = ListtransposeSym1 a6989586621680395644

type family ListnubBy a a where ... Source #

Equations

ListnubBy a_6989586621680395646 a_6989586621680395648 = Apply (Apply NubBySym0 a_6989586621680395646) a_6989586621680395648 

type ListnubBySym2 (a6989586621680395653 :: (~>) a ((~>) a Bool)) (a6989586621680395654 :: [a]) = ListnubBy a6989586621680395653 a6989586621680395654 :: [a] Source #

data ListnubBySym1 a6989586621680395653 a6989586621680395654 where Source #

Constructors

ListnubBySym1KindInference :: SameKind (Apply (ListnubBySym1 a6989586621680395653) arg) (ListnubBySym2 a6989586621680395653 arg) => ListnubBySym1 a6989586621680395653 a6989586621680395654 

Instances

Instances details
SingI d => SingI (ListnubBySym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListnubBySym1 a6989586621680395653 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnubBySym1 a6989586621680395653 :: TyFun [a] [a] -> Type) (a6989586621680395654 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnubBySym1 a6989586621680395653 :: TyFun [a] [a] -> Type) (a6989586621680395654 :: [a]) = ListnubBySym2 a6989586621680395653 a6989586621680395654

data ListnubBySym0 a6989586621680395653 where Source #

Constructors

ListnubBySym0KindInference :: SameKind (Apply ListnubBySym0 arg) (ListnubBySym1 arg) => ListnubBySym0 a6989586621680395653 

Instances

Instances details
SingI (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) (a6989586621680395653 :: a ~> (a ~> Bool)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) (a6989586621680395653 :: a ~> (a ~> Bool)) = ListnubBySym1 a6989586621680395653

type family ListzipWith a a a where ... Source #

Equations

ListzipWith a_6989586621680395657 a_6989586621680395659 a_6989586621680395661 = Apply (Apply (Apply ZipWithSym0 a_6989586621680395657) a_6989586621680395659) a_6989586621680395661 

type ListzipWithSym3 (a6989586621680395667 :: (~>) a ((~>) b c)) (a6989586621680395668 :: [a]) (a6989586621680395669 :: [b]) = ListzipWith a6989586621680395667 a6989586621680395668 a6989586621680395669 :: [c] Source #

data ListzipWithSym2 a6989586621680395667 a6989586621680395668 a6989586621680395669 where Source #

Constructors

ListzipWithSym2KindInference :: SameKind (Apply (ListzipWithSym2 a6989586621680395667 a6989586621680395668) arg) (ListzipWithSym3 a6989586621680395667 a6989586621680395668 arg) => ListzipWithSym2 a6989586621680395667 a6989586621680395668 a6989586621680395669 

Instances

Instances details
(SingI d1, SingI d2) => SingI (ListzipWithSym2 d1 d2 :: TyFun [b] [c] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListzipWithSym2 d1 d2) Source #

SuppressUnusedWarnings (ListzipWithSym2 a6989586621680395667 a6989586621680395668 :: TyFun [b] [c] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym2 a6989586621680395667 a6989586621680395668 :: TyFun [b] [c] -> Type) (a6989586621680395669 :: [b]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym2 a6989586621680395667 a6989586621680395668 :: TyFun [b] [c] -> Type) (a6989586621680395669 :: [b]) = ListzipWithSym3 a6989586621680395667 a6989586621680395668 a6989586621680395669

data ListzipWithSym1 a6989586621680395667 a6989586621680395668 where Source #

Constructors

ListzipWithSym1KindInference :: SameKind (Apply (ListzipWithSym1 a6989586621680395667) arg) (ListzipWithSym2 a6989586621680395667 arg) => ListzipWithSym1 a6989586621680395667 a6989586621680395668 

Instances

Instances details
SingI d => SingI (ListzipWithSym1 d :: TyFun [a] ([b] ~> [c]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListzipWithSym1 a6989586621680395667 :: TyFun [a] ([b] ~> [c]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym1 a6989586621680395667 :: TyFun [a] ([b] ~> [c]) -> Type) (a6989586621680395668 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym1 a6989586621680395667 :: TyFun [a] ([b] ~> [c]) -> Type) (a6989586621680395668 :: [a]) = ListzipWithSym2 a6989586621680395667 a6989586621680395668

data ListzipWithSym0 a6989586621680395667 where Source #

Constructors

ListzipWithSym0KindInference :: SameKind (Apply ListzipWithSym0 arg) (ListzipWithSym1 arg) => ListzipWithSym0 a6989586621680395667 

Instances

Instances details
SingI (ListzipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListzipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) (a6989586621680395667 :: a ~> (b ~> c)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) (a6989586621680395667 :: a ~> (b ~> c)) = ListzipWithSym1 a6989586621680395667

type family Listzip a a where ... Source #

Equations

Listzip a_6989586621680395673 a_6989586621680395675 = Apply (Apply ZipSym0 a_6989586621680395673) a_6989586621680395675 

type ListzipSym2 (a6989586621680395680 :: [a]) (a6989586621680395681 :: [b]) = Listzip a6989586621680395680 a6989586621680395681 :: [(a, b)] Source #

data ListzipSym1 a6989586621680395680 a6989586621680395681 where Source #

Constructors

ListzipSym1KindInference :: SameKind (Apply (ListzipSym1 a6989586621680395680) arg) (ListzipSym2 a6989586621680395680 arg) => ListzipSym1 a6989586621680395680 a6989586621680395681 

Instances

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

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListzipSym1 d) Source #

SuppressUnusedWarnings (ListzipSym1 a6989586621680395680 :: TyFun [b] [(a, b)] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipSym1 a6989586621680395680 :: TyFun [b] [(a, b)] -> Type) (a6989586621680395681 :: [b]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipSym1 a6989586621680395680 :: TyFun [b] [(a, b)] -> Type) (a6989586621680395681 :: [b]) = ListzipSym2 a6989586621680395680 a6989586621680395681

data ListzipSym0 a6989586621680395680 where Source #

Constructors

ListzipSym0KindInference :: SameKind (Apply ListzipSym0 arg) (ListzipSym1 arg) => ListzipSym0 a6989586621680395680 

Instances

Instances details
SingI (ListzipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListzipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) (a6989586621680395680 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListzipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) (a6989586621680395680 :: [a]) = ListzipSym1 a6989586621680395680 :: TyFun [b] [(a, b)] -> Type

type family ListisPrefixOf a a where ... Source #

Equations

ListisPrefixOf a_6989586621680395684 a_6989586621680395686 = Apply (Apply IsPrefixOfSym0 a_6989586621680395684) a_6989586621680395686 

type ListisPrefixOfSym2 (a6989586621680395691 :: [a]) (a6989586621680395692 :: [a]) = ListisPrefixOf a6989586621680395691 a6989586621680395692 :: Bool Source #

data ListisPrefixOfSym1 a6989586621680395691 a6989586621680395692 where Source #

Constructors

ListisPrefixOfSym1KindInference :: SameKind (Apply (ListisPrefixOfSym1 a6989586621680395691) arg) (ListisPrefixOfSym2 a6989586621680395691 arg) => ListisPrefixOfSym1 a6989586621680395691 a6989586621680395692 

Instances

Instances details
(SEq a, SingI d) => SingI (ListisPrefixOfSym1 d :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListisPrefixOfSym1 a6989586621680395691 :: TyFun [a] Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListisPrefixOfSym1 a6989586621680395691 :: TyFun [a] Bool -> Type) (a6989586621680395692 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListisPrefixOfSym1 a6989586621680395691 :: TyFun [a] Bool -> Type) (a6989586621680395692 :: [a]) = ListisPrefixOfSym2 a6989586621680395691 a6989586621680395692

data ListisPrefixOfSym0 a6989586621680395691 where Source #

Instances

Instances details
SEq a => SingI (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680395691 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680395691 :: [a]) = ListisPrefixOfSym1 a6989586621680395691

type family ListsortBy a a where ... Source #

Equations

ListsortBy a_6989586621680395695 a_6989586621680395697 = Apply (Apply SortBySym0 a_6989586621680395695) a_6989586621680395697 

type ListsortBySym2 (a6989586621680395702 :: (~>) a ((~>) a Ordering)) (a6989586621680395703 :: [a]) = ListsortBy a6989586621680395702 a6989586621680395703 :: [a] Source #

data ListsortBySym1 a6989586621680395702 a6989586621680395703 where Source #

Constructors

ListsortBySym1KindInference :: SameKind (Apply (ListsortBySym1 a6989586621680395702) arg) (ListsortBySym2 a6989586621680395702 arg) => ListsortBySym1 a6989586621680395702 a6989586621680395703 

Instances

Instances details
SingI d => SingI (ListsortBySym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsortBySym1 a6989586621680395702 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortBySym1 a6989586621680395702 :: TyFun [a] [a] -> Type) (a6989586621680395703 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortBySym1 a6989586621680395702 :: TyFun [a] [a] -> Type) (a6989586621680395703 :: [a]) = ListsortBySym2 a6989586621680395702 a6989586621680395703

data ListsortBySym0 a6989586621680395702 where Source #

Constructors

ListsortBySym0KindInference :: SameKind (Apply ListsortBySym0 arg) (ListsortBySym1 arg) => ListsortBySym0 a6989586621680395702 

Instances

Instances details
SingI (ListsortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) (a6989586621680395702 :: a ~> (a ~> Ordering)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) (a6989586621680395702 :: a ~> (a ~> Ordering)) = ListsortBySym1 a6989586621680395702

type family Listpartition a a where ... Source #

Equations

Listpartition a_6989586621680395706 a_6989586621680395708 = Apply (Apply PartitionSym0 a_6989586621680395706) a_6989586621680395708 

type ListpartitionSym2 (a6989586621680395713 :: (~>) a Bool) (a6989586621680395714 :: [a]) = Listpartition a6989586621680395713 a6989586621680395714 :: ([a], [a]) Source #

data ListpartitionSym1 a6989586621680395713 a6989586621680395714 where Source #

Constructors

ListpartitionSym1KindInference :: SameKind (Apply (ListpartitionSym1 a6989586621680395713) arg) (ListpartitionSym2 a6989586621680395713 arg) => ListpartitionSym1 a6989586621680395713 a6989586621680395714 

Instances

Instances details
SingI d => SingI (ListpartitionSym1 d :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListpartitionSym1 a6989586621680395713 :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListpartitionSym1 a6989586621680395713 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680395714 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListpartitionSym1 a6989586621680395713 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680395714 :: [a]) = ListpartitionSym2 a6989586621680395713 a6989586621680395714

data ListpartitionSym0 a6989586621680395713 where Source #

Instances

Instances details
SingI (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680395713 :: a ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680395713 :: a ~> Bool) = ListpartitionSym1 a6989586621680395713

type family Listfilter a a where ... Source #

Equations

Listfilter a_6989586621680395717 a_6989586621680395719 = Apply (Apply FilterSym0 a_6989586621680395717) a_6989586621680395719 

type ListfilterSym2 (a6989586621680395724 :: (~>) a Bool) (a6989586621680395725 :: [a]) = Listfilter a6989586621680395724 a6989586621680395725 :: [a] Source #

data ListfilterSym1 a6989586621680395724 a6989586621680395725 where Source #

Constructors

ListfilterSym1KindInference :: SameKind (Apply (ListfilterSym1 a6989586621680395724) arg) (ListfilterSym2 a6989586621680395724 arg) => ListfilterSym1 a6989586621680395724 a6989586621680395725 

Instances

Instances details
SingI d => SingI (ListfilterSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfilterSym1 a6989586621680395724 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfilterSym1 a6989586621680395724 :: TyFun [a] [a] -> Type) (a6989586621680395725 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfilterSym1 a6989586621680395724 :: TyFun [a] [a] -> Type) (a6989586621680395725 :: [a]) = ListfilterSym2 a6989586621680395724 a6989586621680395725

data ListfilterSym0 a6989586621680395724 where Source #

Constructors

ListfilterSym0KindInference :: SameKind (Apply ListfilterSym0 arg) (ListfilterSym1 arg) => ListfilterSym0 a6989586621680395724 

Instances

Instances details
SingI (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395724 :: a ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395724 :: a ~> Bool) = ListfilterSym1 a6989586621680395724

type family Listspan a a where ... Source #

Equations

Listspan a_6989586621680395728 a_6989586621680395730 = Apply (Apply SpanSym0 a_6989586621680395728) a_6989586621680395730 

type ListspanSym2 (a6989586621680395735 :: (~>) a Bool) (a6989586621680395736 :: [a]) = Listspan a6989586621680395735 a6989586621680395736 :: ([a], [a]) Source #

data ListspanSym1 a6989586621680395735 a6989586621680395736 where Source #

Constructors

ListspanSym1KindInference :: SameKind (Apply (ListspanSym1 a6989586621680395735) arg) (ListspanSym2 a6989586621680395735 arg) => ListspanSym1 a6989586621680395735 a6989586621680395736 

Instances

Instances details
SingI d => SingI (ListspanSym1 d :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListspanSym1 d) Source #

SuppressUnusedWarnings (ListspanSym1 a6989586621680395735 :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListspanSym1 a6989586621680395735 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680395736 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListspanSym1 a6989586621680395735 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680395736 :: [a]) = ListspanSym2 a6989586621680395735 a6989586621680395736

data ListspanSym0 a6989586621680395735 where Source #

Constructors

ListspanSym0KindInference :: SameKind (Apply ListspanSym0 arg) (ListspanSym1 arg) => ListspanSym0 a6989586621680395735 

Instances

Instances details
SingI (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680395735 :: a ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680395735 :: a ~> Bool) = ListspanSym1 a6989586621680395735

type family ListdropWhile a a where ... Source #

Equations

ListdropWhile a_6989586621680395739 a_6989586621680395741 = Apply (Apply DropWhileSym0 a_6989586621680395739) a_6989586621680395741 

type ListdropWhileSym2 (a6989586621680395746 :: (~>) a Bool) (a6989586621680395747 :: [a]) = ListdropWhile a6989586621680395746 a6989586621680395747 :: [a] Source #

data ListdropWhileSym1 a6989586621680395746 a6989586621680395747 where Source #

Constructors

ListdropWhileSym1KindInference :: SameKind (Apply (ListdropWhileSym1 a6989586621680395746) arg) (ListdropWhileSym2 a6989586621680395746 arg) => ListdropWhileSym1 a6989586621680395746 a6989586621680395747 

Instances

Instances details
SingI d => SingI (ListdropWhileSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListdropWhileSym1 a6989586621680395746 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropWhileSym1 a6989586621680395746 :: TyFun [a] [a] -> Type) (a6989586621680395747 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropWhileSym1 a6989586621680395746 :: TyFun [a] [a] -> Type) (a6989586621680395747 :: [a]) = ListdropWhileSym2 a6989586621680395746 a6989586621680395747

data ListdropWhileSym0 a6989586621680395746 where Source #

Instances

Instances details
SingI (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395746 :: a ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395746 :: a ~> Bool) = ListdropWhileSym1 a6989586621680395746

type family ListtakeWhile a a where ... Source #

Equations

ListtakeWhile a_6989586621680395750 a_6989586621680395752 = Apply (Apply TakeWhileSym0 a_6989586621680395750) a_6989586621680395752 

type ListtakeWhileSym2 (a6989586621680395757 :: (~>) a Bool) (a6989586621680395758 :: [a]) = ListtakeWhile a6989586621680395757 a6989586621680395758 :: [a] Source #

data ListtakeWhileSym1 a6989586621680395757 a6989586621680395758 where Source #

Constructors

ListtakeWhileSym1KindInference :: SameKind (Apply (ListtakeWhileSym1 a6989586621680395757) arg) (ListtakeWhileSym2 a6989586621680395757 arg) => ListtakeWhileSym1 a6989586621680395757 a6989586621680395758 

Instances

Instances details
SingI d => SingI (ListtakeWhileSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListtakeWhileSym1 a6989586621680395757 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeWhileSym1 a6989586621680395757 :: TyFun [a] [a] -> Type) (a6989586621680395758 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeWhileSym1 a6989586621680395757 :: TyFun [a] [a] -> Type) (a6989586621680395758 :: [a]) = ListtakeWhileSym2 a6989586621680395757 a6989586621680395758

data ListtakeWhileSym0 a6989586621680395757 where Source #

Instances

Instances details
SingI (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395757 :: a ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680395757 :: a ~> Bool) = ListtakeWhileSym1 a6989586621680395757

type family Listreverse a where ... Source #

Equations

Listreverse a_6989586621680395761 = Apply ReverseSym0 a_6989586621680395761 

type ListreverseSym1 (a6989586621680395765 :: [a]) = Listreverse a6989586621680395765 :: [a] Source #

data ListreverseSym0 a6989586621680395765 where Source #

Constructors

ListreverseSym0KindInference :: SameKind (Apply ListreverseSym0 arg) (ListreverseSym1 arg) => ListreverseSym0 a6989586621680395765 

Instances

Instances details
SingI (ListreverseSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListreverseSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListreverseSym0 :: TyFun [a] [a] -> Type) (a6989586621680395765 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListreverseSym0 :: TyFun [a] [a] -> Type) (a6989586621680395765 :: [a]) = ListreverseSym1 a6989586621680395765

type family Listintersperse a a where ... Source #

Equations

Listintersperse a_6989586621680395767 a_6989586621680395769 = Apply (Apply IntersperseSym0 a_6989586621680395767) a_6989586621680395769 

type ListintersperseSym2 (a6989586621680395774 :: a) (a6989586621680395775 :: [a]) = Listintersperse a6989586621680395774 a6989586621680395775 :: [a] Source #

data ListintersperseSym1 a6989586621680395774 a6989586621680395775 where Source #

Constructors

ListintersperseSym1KindInference :: SameKind (Apply (ListintersperseSym1 a6989586621680395774) arg) (ListintersperseSym2 a6989586621680395774 arg) => ListintersperseSym1 a6989586621680395774 a6989586621680395775 

Instances

Instances details
SingI d => SingI (ListintersperseSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListintersperseSym1 a6989586621680395774 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListintersperseSym1 a6989586621680395774 :: TyFun [a] [a] -> Type) (a6989586621680395775 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListintersperseSym1 a6989586621680395774 :: TyFun [a] [a] -> Type) (a6989586621680395775 :: [a]) = ListintersperseSym2 a6989586621680395774 a6989586621680395775

data ListintersperseSym0 a6989586621680395774 where Source #

Instances

Instances details
SingI (ListintersperseSym0 :: TyFun a ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListintersperseSym0 :: TyFun a ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListintersperseSym0 :: TyFun a ([a] ~> [a]) -> Type) (a6989586621680395774 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListintersperseSym0 :: TyFun a ([a] ~> [a]) -> Type) (a6989586621680395774 :: a) = ListintersperseSym1 a6989586621680395774

type family Listscanr1 a a where ... Source #

Equations

Listscanr1 a_6989586621680395778 a_6989586621680395780 = Apply (Apply Scanr1Sym0 a_6989586621680395778) a_6989586621680395780 

type Listscanr1Sym2 (a6989586621680395785 :: (~>) a ((~>) a a)) (a6989586621680395786 :: [a]) = Listscanr1 a6989586621680395785 a6989586621680395786 :: [a] Source #

data Listscanr1Sym1 a6989586621680395785 a6989586621680395786 where Source #

Constructors

Listscanr1Sym1KindInference :: SameKind (Apply (Listscanr1Sym1 a6989586621680395785) arg) (Listscanr1Sym2 a6989586621680395785 arg) => Listscanr1Sym1 a6989586621680395785 a6989586621680395786 

Instances

Instances details
SingI d => SingI (Listscanr1Sym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listscanr1Sym1 a6989586621680395785 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listscanr1Sym1 a6989586621680395785 :: TyFun [a] [a] -> Type) (a6989586621680395786 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listscanr1Sym1 a6989586621680395785 :: TyFun [a] [a] -> Type) (a6989586621680395786 :: [a]) = Listscanr1Sym2 a6989586621680395785 a6989586621680395786

data Listscanr1Sym0 a6989586621680395785 where Source #

Constructors

Listscanr1Sym0KindInference :: SameKind (Apply Listscanr1Sym0 arg) (Listscanr1Sym1 arg) => Listscanr1Sym0 a6989586621680395785 

Instances

Instances details
SingI (Listscanr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (Listscanr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listscanr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) (a6989586621680395785 :: a ~> (a ~> a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (Listscanr1Sym0 :: TyFun (a ~> (a ~> a)) ([a] ~> [a]) -> Type) (a6989586621680395785 :: a ~> (a ~> a)) = Listscanr1Sym1 a6989586621680395785

type family Listscanr a a a where ... Source #

Equations

Listscanr a_6989586621680395789 a_6989586621680395791 a_6989586621680395793 = Apply (Apply (Apply ScanrSym0 a_6989586621680395789) a_6989586621680395791) a_6989586621680395793 

type ListscanrSym3 (a6989586621680395799 :: (~>) a ((~>) b b)) (a6989586621680395800 :: b) (a6989586621680395801 :: [a]) = Listscanr a6989586621680395799 a6989586621680395800 a6989586621680395801 :: [b] Source #

data ListscanrSym2 a6989586621680395799 a6989586621680395800 a6989586621680395801 where Source #

Constructors

ListscanrSym2KindInference :: SameKind (Apply (ListscanrSym2 a6989586621680395799 a6989586621680395800) arg) (ListscanrSym3 a6989586621680395799 a6989586621680395800 arg) => ListscanrSym2 a6989586621680395799 a6989586621680395800 a6989586621680395801 

Instances

Instances details
(SingI d1, SingI d2) => SingI (ListscanrSym2 d1 d2 :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListscanrSym2 d1 d2) Source #

SuppressUnusedWarnings (ListscanrSym2 a6989586621680395799 a6989586621680395800 :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym2 a6989586621680395799 a6989586621680395800 :: TyFun [a] [b] -> Type) (a6989586621680395801 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym2 a6989586621680395799 a6989586621680395800 :: TyFun [a] [b] -> Type) (a6989586621680395801 :: [a]) = ListscanrSym3 a6989586621680395799 a6989586621680395800 a6989586621680395801

data ListscanrSym1 a6989586621680395799 a6989586621680395800 where Source #

Constructors

ListscanrSym1KindInference :: SameKind (Apply (ListscanrSym1 a6989586621680395799) arg) (ListscanrSym2 a6989586621680395799 arg) => ListscanrSym1 a6989586621680395799 a6989586621680395800 

Instances

Instances details
SingI d => SingI (ListscanrSym1 d :: TyFun b ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListscanrSym1 a6989586621680395799 :: TyFun b ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym1 a6989586621680395799 :: TyFun b ([a] ~> [b]) -> Type) (a6989586621680395800 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym1 a6989586621680395799 :: TyFun b ([a] ~> [b]) -> Type) (a6989586621680395800 :: b) = ListscanrSym2 a6989586621680395799 a6989586621680395800

data ListscanrSym0 a6989586621680395799 where Source #

Constructors

ListscanrSym0KindInference :: SameKind (Apply ListscanrSym0 arg) (ListscanrSym1 arg) => ListscanrSym0 a6989586621680395799 

Instances

Instances details
SingI (ListscanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> [b])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListscanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> [b])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> [b])) -> Type) (a6989586621680395799 :: a ~> (b ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> [b])) -> Type) (a6989586621680395799 :: a ~> (b ~> b)) = ListscanrSym1 a6989586621680395799

type family Listscanl a a a where ... Source #

Equations

Listscanl a_6989586621680395805 a_6989586621680395807 a_6989586621680395809 = Apply (Apply (Apply ScanlSym0 a_6989586621680395805) a_6989586621680395807) a_6989586621680395809 

type ListscanlSym3 (a6989586621680395815 :: (~>) b ((~>) a b)) (a6989586621680395816 :: b) (a6989586621680395817 :: [a]) = Listscanl a6989586621680395815 a6989586621680395816 a6989586621680395817 :: [b] Source #

data ListscanlSym2 a6989586621680395815 a6989586621680395816 a6989586621680395817 where Source #

Constructors

ListscanlSym2KindInference :: SameKind (Apply (ListscanlSym2 a6989586621680395815 a6989586621680395816) arg) (ListscanlSym3 a6989586621680395815 a6989586621680395816 arg) => ListscanlSym2 a6989586621680395815 a6989586621680395816 a6989586621680395817 

Instances

Instances details
(SingI d1, SingI d2) => SingI (ListscanlSym2 d1 d2 :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListscanlSym2 d1 d2) Source #

SuppressUnusedWarnings (ListscanlSym2 a6989586621680395815 a6989586621680395816 :: TyFun [a] [b] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym2 a6989586621680395815 a6989586621680395816 :: TyFun [a] [b] -> Type) (a6989586621680395817 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym2 a6989586621680395815 a6989586621680395816 :: TyFun [a] [b] -> Type) (a6989586621680395817 :: [a]) = ListscanlSym3 a6989586621680395815 a6989586621680395816 a6989586621680395817

data ListscanlSym1 a6989586621680395815 a6989586621680395816 where Source #

Constructors

ListscanlSym1KindInference :: SameKind (Apply (ListscanlSym1 a6989586621680395815) arg) (ListscanlSym2 a6989586621680395815 arg) => ListscanlSym1 a6989586621680395815 a6989586621680395816 

Instances

Instances details
SingI d => SingI (ListscanlSym1 d :: TyFun b ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListscanlSym1 a6989586621680395815 :: TyFun b ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym1 a6989586621680395815 :: TyFun b ([a] ~> [b]) -> Type) (a6989586621680395816 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym1 a6989586621680395815 :: TyFun b ([a] ~> [b]) -> Type) (a6989586621680395816 :: b) = ListscanlSym2 a6989586621680395815 a6989586621680395816

data ListscanlSym0 a6989586621680395815 where Source #

Constructors

ListscanlSym0KindInference :: SameKind (Apply ListscanlSym0 arg) (ListscanlSym1 arg) => ListscanlSym0 a6989586621680395815 

Instances

Instances details
SingI (ListscanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> [b])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListscanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> [b])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> [b])) -> Type) (a6989586621680395815 :: b ~> (a ~> b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListscanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> [b])) -> Type) (a6989586621680395815 :: b ~> (a ~> b)) = ListscanlSym1 a6989586621680395815

type family Listinsert a a where ... Source #

Equations

Listinsert a_6989586621680395821 a_6989586621680395823 = Apply (Apply InsertSym0 a_6989586621680395821) a_6989586621680395823 

type ListinsertSym2 (a6989586621680395828 :: a) (a6989586621680395829 :: [a]) = Listinsert a6989586621680395828 a6989586621680395829 :: [a] Source #

data ListinsertSym1 a6989586621680395828 a6989586621680395829 where Source #

Constructors

ListinsertSym1KindInference :: SameKind (Apply (ListinsertSym1 a6989586621680395828) arg) (ListinsertSym2 a6989586621680395828 arg) => ListinsertSym1 a6989586621680395828 a6989586621680395829 

Instances

Instances details
(SOrd a, SingI d) => SingI (ListinsertSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListinsertSym1 a6989586621680395828 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinsertSym1 a6989586621680395828 :: TyFun [a] [a] -> Type) (a6989586621680395829 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinsertSym1 a6989586621680395828 :: TyFun [a] [a] -> Type) (a6989586621680395829 :: [a]) = ListinsertSym2 a6989586621680395828 a6989586621680395829

data ListinsertSym0 a6989586621680395828 where Source #

Constructors

ListinsertSym0KindInference :: SameKind (Apply ListinsertSym0 arg) (ListinsertSym1 arg) => ListinsertSym0 a6989586621680395828 

Instances

Instances details
SOrd a => SingI (ListinsertSym0 :: TyFun a ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListinsertSym0 :: TyFun a ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinsertSym0 :: TyFun a ([a] ~> [a]) -> Type) (a6989586621680395828 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinsertSym0 :: TyFun a ([a] ~> [a]) -> Type) (a6989586621680395828 :: a) = ListinsertSym1 a6989586621680395828

type family Listtails a where ... Source #

Equations

Listtails a_6989586621680395832 = Apply TailsSym0 a_6989586621680395832 

type ListtailsSym1 (a6989586621680395836 :: [a]) = Listtails a6989586621680395836 :: [[a]] Source #

data ListtailsSym0 a6989586621680395836 where Source #

Constructors

ListtailsSym0KindInference :: SameKind (Apply ListtailsSym0 arg) (ListtailsSym1 arg) => ListtailsSym0 a6989586621680395836 

Instances

Instances details
SingI (ListtailsSym0 :: TyFun [a] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListtailsSym0 :: TyFun [a] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtailsSym0 :: TyFun [a] [[a]] -> Type) (a6989586621680395836 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtailsSym0 :: TyFun [a] [[a]] -> Type) (a6989586621680395836 :: [a]) = ListtailsSym1 a6989586621680395836

type family Listinits a where ... Source #

Equations

Listinits a_6989586621680395838 = Apply InitsSym0 a_6989586621680395838 

type ListinitsSym1 (a6989586621680395842 :: [a]) = Listinits a6989586621680395842 :: [[a]] Source #

data ListinitsSym0 a6989586621680395842 where Source #

Constructors

ListinitsSym0KindInference :: SameKind (Apply ListinitsSym0 arg) (ListinitsSym1 arg) => ListinitsSym0 a6989586621680395842 

Instances

Instances details
SingI (ListinitsSym0 :: TyFun [a] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListinitsSym0 :: TyFun [a] [[a]] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinitsSym0 :: TyFun [a] [[a]] -> Type) (a6989586621680395842 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinitsSym0 :: TyFun [a] [[a]] -> Type) (a6989586621680395842 :: [a]) = ListinitsSym1 a6989586621680395842

type family Listsort a where ... Source #

Equations

Listsort a_6989586621680395844 = Apply SortSym0 a_6989586621680395844 

type ListsortSym1 (a6989586621680395848 :: [a]) = Listsort a6989586621680395848 :: [a] Source #

data ListsortSym0 a6989586621680395848 where Source #

Constructors

ListsortSym0KindInference :: SameKind (Apply ListsortSym0 arg) (ListsortSym1 arg) => ListsortSym0 a6989586621680395848 

Instances

Instances details
SOrd a => SingI (ListsortSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsortSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortSym0 :: TyFun [a] [a] -> Type) (a6989586621680395848 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsortSym0 :: TyFun [a] [a] -> Type) (a6989586621680395848 :: [a]) = ListsortSym1 a6989586621680395848

type family Listinit a where ... Source #

Equations

Listinit a_6989586621680395850 = Apply InitSym0 a_6989586621680395850 

type ListinitSym1 (a6989586621680395854 :: [a]) = Listinit a6989586621680395854 :: [a] Source #

data ListinitSym0 a6989586621680395854 where Source #

Constructors

ListinitSym0KindInference :: SameKind (Apply ListinitSym0 arg) (ListinitSym1 arg) => ListinitSym0 a6989586621680395854 

Instances

Instances details
SingI (ListinitSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListinitSym0 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinitSym0 :: TyFun [a] [a] -> Type) (a6989586621680395854 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListinitSym0 :: TyFun [a] [a] -> Type) (a6989586621680395854 :: [a]) = ListinitSym1 a6989586621680395854

type family Listlast a where ... Source #

Equations

Listlast a_6989586621680395856 = Apply LastSym0 a_6989586621680395856 

type ListlastSym1 (a6989586621680395860 :: [a]) = Listlast a6989586621680395860 :: a Source #

data ListlastSym0 a6989586621680395860 where Source #

Constructors

ListlastSym0KindInference :: SameKind (Apply ListlastSym0 arg) (ListlastSym1 arg) => ListlastSym0 a6989586621680395860 

Instances

Instances details
SingI (ListlastSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListlastSym0 :: TyFun [a] a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListlastSym0 :: TyFun [a] a -> Type) (a6989586621680395860 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListlastSym0 :: TyFun [a] a -> Type) (a6989586621680395860 :: [a]) = ListlastSym1 a6989586621680395860

sListlast :: forall a (t :: [a]). Sing t -> Sing (Apply ListlastSym0 t :: a) Source #

sListinit :: forall a (t :: [a]). Sing t -> Sing (Apply ListinitSym0 t :: [a]) Source #

sListsort :: forall a (t :: [a]). SOrd a => Sing t -> Sing (Apply ListsortSym0 t :: [a]) Source #

sListinits :: forall a (t :: [a]). Sing t -> Sing (Apply ListinitsSym0 t :: [[a]]) Source #

sListtails :: forall a (t :: [a]). Sing t -> Sing (Apply ListtailsSym0 t :: [[a]]) Source #

sListinsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply ListinsertSym0 t) t :: [a]) Source #

sListscanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ListscanlSym0 t) t) t :: [b]) Source #

sListscanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ListscanrSym0 t) t) t :: [b]) Source #

sListscanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Listscanr1Sym0 t) t :: [a]) Source #

sListintersperse :: forall a (t :: a) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListintersperseSym0 t) t :: [a]) Source #

sListreverse :: forall a (t :: [a]). Sing t -> Sing (Apply ListreverseSym0 t :: [a]) Source #

sListtakeWhile :: forall a (t :: (~>) a Bool) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListtakeWhileSym0 t) t :: [a]) Source #

sListdropWhile :: forall a (t :: (~>) a Bool) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListdropWhileSym0 t) t :: [a]) Source #

sListspan :: forall a (t :: (~>) a Bool) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListspanSym0 t) t :: ([a], [a])) Source #

sListfilter :: forall a (t :: (~>) a Bool) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListfilterSym0 t) t :: [a]) Source #

sListpartition :: forall a (t :: (~>) a Bool) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListpartitionSym0 t) t :: ([a], [a])) Source #

sListsortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListsortBySym0 t) t :: [a]) Source #

sListisPrefixOf :: forall a (t :: [a]) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ListisPrefixOfSym0 t) t :: Bool) Source #

sListzip :: forall a b (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ListzipSym0 t) t :: [(a, b)]) Source #

sListzipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ListzipWithSym0 t) t) t :: [c]) Source #

sListnubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListnubBySym0 t) t :: [a]) Source #

sListtranspose :: forall a (t :: [[a]]). Sing t -> Sing (Apply ListtransposeSym0 t :: [[a]]) Source #

sListunzip :: forall a b (t :: [(a, b)]). Sing t -> Sing (Apply ListunzipSym0 t :: ([a], [b])) Source #

sListmap :: forall a b (t :: (~>) a b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListmapSym0 t) t :: [b]) Source #

sListelem :: forall a (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ListelemSym0 t) t :: Bool) Source #

sListfoldl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ListfoldlSym0 t) t) t :: b) Source #

sListfoldl' :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Listfoldl'Sym0 t) t) t :: b) Source #

sListfoldl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Listfoldl1Sym0 t) t :: a) Source #

sListfoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ListfoldrSym0 t) t) t :: b) Source #

sListfoldr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Listfoldr1Sym0 t) t :: a) Source #

sListmaximum :: forall a (t :: [a]). SOrd a => Sing t -> Sing (Apply ListmaximumSym0 t :: a) Source #

sListminimum :: forall a (t :: [a]). SOrd a => Sing t -> Sing (Apply ListminimumSym0 t :: a) Source #

sListnull :: forall a (t :: [a]). Sing t -> Sing (Apply ListnullSym0 t :: Bool) Source #

sListproduct :: forall a (t :: [a]). SNum a => Sing t -> Sing (Apply ListproductSym0 t :: a) Source #

sListsum :: forall a (t :: [a]). SNum a => Sing t -> Sing (Apply ListsumSym0 t :: a) Source #

listsum :: Num a => [a] -> a Source #

listproduct :: Num a => [a] -> a Source #

listnull :: [a] -> Bool Source #

listminimum :: Ord a => [a] -> a Source #

listmaximum :: Ord a => [a] -> a Source #

listfoldr1 :: (a -> a -> a) -> [a] -> a Source #

listfoldr :: (a -> b -> b) -> b -> [a] -> b Source #

listfoldl1 :: (a -> a -> a) -> [a] -> a Source #

listfoldl' :: (b -> a -> b) -> b -> [a] -> b Source #

listfoldl :: (b -> a -> b) -> b -> [a] -> b Source #

listelem :: Eq a => a -> [a] -> Bool Source #

listmap :: (a -> b) -> [a] -> [b] Source #

listunzip :: [(a, b)] -> ([a], [b]) Source #

listtranspose :: [[a]] -> [[a]] Source #

listnubBy :: (a -> a -> Bool) -> [a] -> [a] Source #

listzipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source #

listzip :: [a] -> [b] -> [(a, b)] Source #

listisPrefixOf :: Eq a => [a] -> [a] -> Bool Source #

listsortBy :: (a -> a -> Ordering) -> [a] -> [a] Source #

listpartition :: (a -> Bool) -> [a] -> ([a], [a]) Source #

listfilter :: (a -> Bool) -> [a] -> [a] Source #

listspan :: (a -> Bool) -> [a] -> ([a], [a]) Source #

listdropWhile :: (a -> Bool) -> [a] -> [a] Source #

listtakeWhile :: (a -> Bool) -> [a] -> [a] Source #

listreverse :: [a] -> [a] Source #

listintersperse :: a -> [a] -> [a] Source #

listscanr1 :: (a -> a -> a) -> [a] -> [a] Source #

listscanr :: (a -> b -> b) -> b -> [a] -> [b] Source #

listscanl :: (b -> a -> b) -> b -> [a] -> [b] Source #

listinsert :: Ord a => a -> [a] -> [a] Source #

listtails :: [a] -> [[a]] Source #

listinits :: [a] -> [[a]] Source #

listsort :: Ord a => [a] -> [a] Source #

listinit :: [a] -> [a] Source #

listlast :: [a] -> a Source #

type family Listlength a where ... Source #

Equations

Listlength a_6989586621680411447 = Apply LengthSym0 a_6989586621680411447 

type ListlengthSym1 (a6989586621680411451 :: [a]) = Listlength a6989586621680411451 :: Nat Source #

data ListlengthSym0 a6989586621680411451 where Source #

Constructors

ListlengthSym0KindInference :: SameKind (Apply ListlengthSym0 arg) (ListlengthSym1 arg) => ListlengthSym0 a6989586621680411451 

Instances

Instances details
SingI (ListlengthSym0 :: TyFun [a] Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListlengthSym0 :: TyFun [a] Nat -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListlengthSym0 :: TyFun [a] Nat -> Type) (a6989586621680411451 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListlengthSym0 :: TyFun [a] Nat -> Type) (a6989586621680411451 :: [a]) = ListlengthSym1 a6989586621680411451

type family Listindex a a where ... Source #

Equations

Listindex a_6989586621680411453 a_6989586621680411455 = Apply (Apply (!!@#@$) a_6989586621680411453) a_6989586621680411455 

type ListindexSym2 (a6989586621680411460 :: [a]) (a6989586621680411461 :: Nat) = Listindex a6989586621680411460 a6989586621680411461 :: a Source #

data ListindexSym1 a6989586621680411460 a6989586621680411461 where Source #

Constructors

ListindexSym1KindInference :: SameKind (Apply (ListindexSym1 a6989586621680411460) arg) (ListindexSym2 a6989586621680411460 arg) => ListindexSym1 a6989586621680411460 a6989586621680411461 

Instances

Instances details
SingI d => SingI (ListindexSym1 d :: TyFun Nat a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListindexSym1 a6989586621680411460 :: TyFun Nat a -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListindexSym1 a6989586621680411460 :: TyFun Nat a -> Type) (a6989586621680411461 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListindexSym1 a6989586621680411460 :: TyFun Nat a -> Type) (a6989586621680411461 :: Nat) = ListindexSym2 a6989586621680411460 a6989586621680411461

data ListindexSym0 a6989586621680411460 where Source #

Constructors

ListindexSym0KindInference :: SameKind (Apply ListindexSym0 arg) (ListindexSym1 arg) => ListindexSym0 a6989586621680411460 

Instances

Instances details
SingI (ListindexSym0 :: TyFun [a] (Nat ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListindexSym0 :: TyFun [a] (Nat ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListindexSym0 :: TyFun [a] (Nat ~> a) -> Type) (a6989586621680411460 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListindexSym0 :: TyFun [a] (Nat ~> a) -> Type) (a6989586621680411460 :: [a]) = ListindexSym1 a6989586621680411460

type family ListsplitAt a a where ... Source #

Equations

ListsplitAt a_6989586621680411464 a_6989586621680411466 = Apply (Apply SplitAtSym0 a_6989586621680411464) a_6989586621680411466 

type ListsplitAtSym2 (a6989586621680411471 :: Nat) (a6989586621680411472 :: [a]) = ListsplitAt a6989586621680411471 a6989586621680411472 :: ([a], [a]) Source #

data ListsplitAtSym1 a6989586621680411471 a6989586621680411472 where Source #

Constructors

ListsplitAtSym1KindInference :: SameKind (Apply (ListsplitAtSym1 a6989586621680411471) arg) (ListsplitAtSym2 a6989586621680411471 arg) => ListsplitAtSym1 a6989586621680411471 a6989586621680411472 

Instances

Instances details
SingI d => SingI (ListsplitAtSym1 d :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsplitAtSym1 a6989586621680411471 :: TyFun [a] ([a], [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsplitAtSym1 a6989586621680411471 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680411472 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsplitAtSym1 a6989586621680411471 :: TyFun [a] ([a], [a]) -> Type) (a6989586621680411472 :: [a]) = ListsplitAtSym2 a6989586621680411471 a6989586621680411472

data ListsplitAtSym0 a6989586621680411471 where Source #

Constructors

ListsplitAtSym0KindInference :: SameKind (Apply ListsplitAtSym0 arg) (ListsplitAtSym1 arg) => ListsplitAtSym0 a6989586621680411471 

Instances

Instances details
SingI (ListsplitAtSym0 :: TyFun Nat ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListsplitAtSym0 :: TyFun Nat ([a] ~> ([a], [a])) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsplitAtSym0 :: TyFun Nat ([a] ~> ([a], [a])) -> Type) (a6989586621680411471 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListsplitAtSym0 :: TyFun Nat ([a] ~> ([a], [a])) -> Type) (a6989586621680411471 :: Nat) = ListsplitAtSym1 a6989586621680411471 :: TyFun [a] ([a], [a]) -> Type

type family Listdrop a a where ... Source #

Equations

Listdrop a_6989586621680411475 a_6989586621680411477 = Apply (Apply DropSym0 a_6989586621680411475) a_6989586621680411477 

type ListdropSym2 (a6989586621680411482 :: Nat) (a6989586621680411483 :: [a]) = Listdrop a6989586621680411482 a6989586621680411483 :: [a] Source #

data ListdropSym1 a6989586621680411482 a6989586621680411483 where Source #

Constructors

ListdropSym1KindInference :: SameKind (Apply (ListdropSym1 a6989586621680411482) arg) (ListdropSym2 a6989586621680411482 arg) => ListdropSym1 a6989586621680411482 a6989586621680411483 

Instances

Instances details
SingI d => SingI (ListdropSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListdropSym1 d) Source #

SuppressUnusedWarnings (ListdropSym1 a6989586621680411482 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropSym1 a6989586621680411482 :: TyFun [a] [a] -> Type) (a6989586621680411483 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropSym1 a6989586621680411482 :: TyFun [a] [a] -> Type) (a6989586621680411483 :: [a]) = ListdropSym2 a6989586621680411482 a6989586621680411483

data ListdropSym0 a6989586621680411482 where Source #

Constructors

ListdropSym0KindInference :: SameKind (Apply ListdropSym0 arg) (ListdropSym1 arg) => ListdropSym0 a6989586621680411482 

Instances

Instances details
SingI (ListdropSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListdropSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropSym0 :: TyFun Nat ([a] ~> [a]) -> Type) (a6989586621680411482 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListdropSym0 :: TyFun Nat ([a] ~> [a]) -> Type) (a6989586621680411482 :: Nat) = ListdropSym1 a6989586621680411482 :: TyFun [a] [a] -> Type

type family Listtake a a where ... Source #

Equations

Listtake a_6989586621680411486 a_6989586621680411488 = Apply (Apply TakeSym0 a_6989586621680411486) a_6989586621680411488 

type ListtakeSym2 (a6989586621680411493 :: Nat) (a6989586621680411494 :: [a]) = Listtake a6989586621680411493 a6989586621680411494 :: [a] Source #

data ListtakeSym1 a6989586621680411493 a6989586621680411494 where Source #

Constructors

ListtakeSym1KindInference :: SameKind (Apply (ListtakeSym1 a6989586621680411493) arg) (ListtakeSym2 a6989586621680411493 arg) => ListtakeSym1 a6989586621680411493 a6989586621680411494 

Instances

Instances details
SingI d => SingI (ListtakeSym1 d :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

Methods

sing :: Sing (ListtakeSym1 d) Source #

SuppressUnusedWarnings (ListtakeSym1 a6989586621680411493 :: TyFun [a] [a] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeSym1 a6989586621680411493 :: TyFun [a] [a] -> Type) (a6989586621680411494 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeSym1 a6989586621680411493 :: TyFun [a] [a] -> Type) (a6989586621680411494 :: [a]) = ListtakeSym2 a6989586621680411493 a6989586621680411494

data ListtakeSym0 a6989586621680411493 where Source #

Constructors

ListtakeSym0KindInference :: SameKind (Apply ListtakeSym0 arg) (ListtakeSym1 arg) => ListtakeSym0 a6989586621680411493 

Instances

Instances details
SingI (ListtakeSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

SuppressUnusedWarnings (ListtakeSym0 :: TyFun Nat ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeSym0 :: TyFun Nat ([a] ~> [a]) -> Type) (a6989586621680411493 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.Internal.Disambiguation

type Apply (ListtakeSym0 :: TyFun Nat ([a] ~> [a]) -> Type) (a6989586621680411493 :: Nat) = ListtakeSym1 a6989586621680411493 :: TyFun [a] [a] -> Type

sListtake :: forall a (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListtakeSym0 t) t :: [a]) Source #

sListdrop :: forall a (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListdropSym0 t) t :: [a]) Source #

sListsplitAt :: forall a (t :: Nat) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply ListsplitAtSym0 t) t :: ([a], [a])) Source #

sListindex :: forall a (t :: [a]) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply ListindexSym0 t) t :: a) Source #

sListlength :: forall a (t :: [a]). Sing t -> Sing (Apply ListlengthSym0 t :: Nat) Source #

listtake :: Nat -> [a] -> [a] Source #

listdrop :: Nat -> [a] -> [a] Source #

listsplitAt :: Nat -> [a] -> ([a], [a]) Source #

listindex :: [a] -> Nat -> a Source #