type-combinators-0.2.4.1: A collection of data types for type-level programming (Index - S)

type-combinators-0.2.4.1: A collection of data types for type-level programming

Index - S

S	Type.Family.Nat
select	Data.Type.Product
Show1	Type.Class.Higher
show1	Type.Class.Higher
Show2	Type.Class.Higher
show2	Type.Class.Higher
Show3	Type.Class.Higher
show3	Type.Class.Higher
shows1	Type.Class.Higher
shows2	Type.Class.Higher
shows3	Type.Class.Higher
showsPrec1	Type.Class.Higher
showsPrec2	Type.Class.Higher
showsPrec3	Type.Class.Higher
Snd	Type.Family.Tuple
Snd3	Type.Family.Tuple
snd3Cong	Type.Family.Tuple
sndCong	Type.Family.Tuple
Snds	Type.Family.List
Snds3	Type.Family.List
snocCong	Type.Family.List
Some
1 (Type/Class)	Type.Class.Higher
2 (Data Constructor)	Type.Class.Higher
some	Type.Class.Higher
Some2
1 (Type/Class)	Type.Class.Higher
2 (Data Constructor)	Type.Class.Higher
some2	Type.Class.Higher
Some3
1 (Type/Class)	Type.Class.Higher
2 (Data Constructor)	Type.Class.Higher
some3	Type.Class.Higher
SomeC
1 (Type/Class)	Type.Class.Higher
2 (Data Constructor)	Type.Class.Higher
someC	Type.Class.Higher
Sub	Type.Class.Witness
subExt	Data.Type.Subset
subExtBy	Data.Type.Subset
subIx	Data.Type.Subset
subNil	Data.Type.Subset
subProd	Data.Type.Subset
subRefl	Data.Type.Subset
Subset	Data.Type.Subset
subSum	Data.Type.Subset
subTrans	Data.Type.Subset
Sum	Data.Type.Sum
sym	Type.Class.Witness
S_	Data.Type.Nat