fcf-containers-0.4.0: Data structures and algorithms for first-class-families

Index - S

SecondFcf.Alg.Morphism
Set 
1 (Type/Class)Fcf.Data.Set
2 (Data Constructor)Fcf.Data.Set
Singleton 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Data.Text
Size 
1 (Type/Class)Fcf.Data.MapC
2 (Type/Class)Fcf.Data.NatMap
3 (Type/Class)Fcf.Data.Set
4 (Type/Class)Fcf.Alg.Tree
SizesFcf.Alg.Tree
SlidingFcf.Alg.List
SlidingAlgFcf.Alg.List
Snoc 
1 (Type/Class)Fcf.Alg.List
2 (Type/Class)Fcf.Data.Text
SpanFcf.Alg.List
SplitFcf.Data.Text
SplitOnFcf.Data.Text
Strip 
1 (Type/Class)Fcf.Alg.Morphism
2 (Type/Class)Fcf.Data.Text
SubFLevelsFcf.Data.Tree
SuccFcf.Alg.Tree
SumFcf.Alg.List
SumAlgFcf.Alg.List
SumNodesAlgFcf.Alg.Tree
SymbolFcf.Data.Symbol
SymbolListOrdFcf.Alg.Sort
SymbolOrdFcf.Data.Symbol
SynthAlgFcf.Alg.Morphism
SynthesizeFcf.Alg.Morphism