singletons-2.4: A framework for generating singleton types

Index - H

Head 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
HeadSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
HeadSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty