singletons-2.3.1: A framework for generating singleton types

Index - H

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