tfp-1.0: Type-level integers, booleans, lists using type families
Type.Data.Num.Decimal.Digit
newtype Singleton d Source
Constructors
singleton :: C d => Singleton d Source
class C d where Source
Methods
switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f d Source
Instances
class C d => Pos d where Source
switchPos :: Pos d => f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f d Source
data Dec0 Source
data Dec1 Source
data Dec2 Source
data Dec3 Source
data Dec4 Source
data Dec5 Source
data Dec6 Source
data Dec7 Source
data Dec8 Source
data Dec9 Source
reify :: Integer -> (forall d. C d => Proxy d -> w) -> w Source
reifyPos :: Integer -> (forall d. Pos d => Proxy d -> w) -> w Source
type family ToUnary n Source