{-# LANGUAGE MonoLocalBinds #-}
module Language.Haskell.Tools.Rewrite.Create.Literals where
import Data.String (IsString(..), String)
import Language.Haskell.Tools.AST (ULiteral(..))
import Language.Haskell.Tools.Rewrite.Create.Utils (mkAnn)
import Language.Haskell.Tools.Rewrite.ElementTypes (Literal)
mkCharLit :: Char -> Literal
mkCharLit c = mkAnn (fromString $ show c) $ UCharLit c
mkStringLit :: String -> Literal
mkStringLit s = mkAnn (fromString $ show s) $ UStringLit s
mkIntLit :: Integer -> Literal
mkIntLit i = mkAnn (fromString $ show i) $ UIntLit i
mkFracLit :: Rational -> Literal
mkFracLit f = mkAnn (fromString $ show f) $ UFracLit f
mkPrimIntLit :: Integer -> Literal
mkPrimIntLit i = mkAnn (fromString $ show i ++ "#") $ UPrimIntLit i
mkPrimWordLit :: Integer -> Literal
mkPrimWordLit i = mkAnn (fromString $ show i ++ "##") $ UPrimWordLit i
mkPrimFloatLit :: Rational -> Literal
mkPrimFloatLit f = mkAnn (fromString $ show f ++ "#") $ UPrimFloatLit f
mkPrimDoubleLit :: Rational -> Literal
mkPrimDoubleLit f = mkAnn (fromString $ show f ++ "##") $ UPrimDoubleLit f
mkPrimCharLit :: Char -> Literal
mkPrimCharLit c = mkAnn (fromString $ show c ++ "#") $ UPrimCharLit c
mkPrimStringLit :: String -> Literal
mkPrimStringLit s = mkAnn (fromString $ show s ++ "#") $ UPrimStringLit s