singletons-2.5: A framework for generating singleton types

Index - :

:$$:Data.Singletons.TypeError
:$$:@#@$Data.Singletons.TypeError
:$$:@#@$$Data.Singletons.TypeError
:$$:@#@$$$Data.Singletons.TypeError
:%$$:Data.Singletons.TypeError
:%<>:Data.Singletons.TypeError
:%|Data.Singletons.Prelude.List.NonEmpty
:&:Data.Singletons.Sigma
:.Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:<>:Data.Singletons.TypeError
:<>:@#@$Data.Singletons.TypeError
:<>:@#@$$Data.Singletons.TypeError
:<>:@#@$$$Data.Singletons.TypeError
:@#@$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:@#@$$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:@#@$$$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:|@#@$Data.Singletons.Prelude.List.NonEmpty
:|@#@$$Data.Singletons.Prelude.List.NonEmpty
:|@#@$$$Data.Singletons.Prelude.List.NonEmpty
:~:Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar