:!! | |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:!!$ | |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:!!$$ | |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:!!$$$ | |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:$$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:%| | Data.Singletons.Prelude.List.NonEmpty |
:& | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
:&$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
:&$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
:&$$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
:&& | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
:&&$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:&&$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:&&$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:* | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:*$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:*$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:*$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:+ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:+$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:+$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:+$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:++ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:++$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:++$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
:++$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
:- | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:-$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:-$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:-$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
:. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
:.$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
:.$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
:.$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
:.$$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base |
:/= | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
:/=$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:/=$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:/=$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
:<$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
:<=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:<| | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:<|$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:<|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:<|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:== | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
:==$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:==$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:==$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:> | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
:>$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:>$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:>$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:>= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
:>=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:>=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:>=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
:\\ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
:\\$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
:\\$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
:\\$$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
:^ | Data.Singletons.TypeLits |
:^$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
:^$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
:^$$$ | Data.Singletons.TypeLits |
:|$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
:|| | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:||$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:||$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:||$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
:~: | Data.Singletons.Decide, Data.Singletons.TH |