module GHC.SourceGen.Lit
( HsLit'
, HsOverLit'
, HasLit(..)
, char
, string
, int
, frac
) where
import BasicTypes (FractionalLit(..))
import BasicTypes(IntegralLit(..), SourceText(..))
import GHC.Hs.Lit
import GHC.Hs.Expr (noExpr, noSyntaxExpr, HsExpr(..))
import GHC.Hs.Pat (Pat(..))
import FastString (fsLit)
import GHC.SourceGen.Lit.Internal
import GHC.SourceGen.Syntax.Internal
class HasLit e where
lit :: HsLit' -> e
overLit :: HsOverLit' -> e
instance HasLit HsExpr' where
lit = noExt HsLit
overLit = noExt HsOverLit
instance HasLit Pat' where
lit = noExt LitPat
overLit l = withPlaceHolder
$ noExt NPat (builtLoc l) Nothing noSyntaxExpr
char :: HasLit e => Char -> e
char = lit . noSourceText HsChar
string :: HasLit e => String -> e
string = lit . noSourceText HsString . fsLit
int :: HasLit e => Integer -> e
int n = overLit $ withPlaceHolder $ withPlaceHolder (noExt OverLit il) noExpr
where
il = HsIntegral $ noSourceText IL (n < 0) n
frac :: HasLit e => Rational -> e
frac x = overLit $ withPlaceHolder $ withPlaceHolder (noExt OverLit $ HsFractional il) noExpr
where
il = FL (SourceText s) (x < 0) x
s = show (fromRational x :: Double)