0 | module Data.Primitives.Interpolation
 1 |
 2 | %default total
 3 |
 4 | export Interpolation Int where interpolate = show
 5 | export Interpolation Integer where interpolate = show
 6 | export Interpolation Bits8 where interpolate = show
 7 | export Interpolation Bits16 where interpolate = show
 8 | export Interpolation Bits32 where interpolate = show
 9 | export Interpolation Bits64 where interpolate = show
10 | export Interpolation Int8 where interpolate = show
11 | export Interpolation Int16 where interpolate = show
12 | export Interpolation Int32 where interpolate = show
13 | export Interpolation Int64 where interpolate = show
14 | export Interpolation Nat where interpolate = show
15 |