toInt | Data.TypeLevel.Num.Sets, Data.TypeLevel.Num, Data.TypeLevel |
toNum | Data.TypeLevel.Num.Sets, Data.TypeLevel.Num, Data.TypeLevel |
Trich | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
trich | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
True | Data.TypeLevel.Bool, Data.TypeLevel |
true | Data.TypeLevel.Bool, Data.TypeLevel |