{-# LANGUAGE GADTs #-}
module Language.Drasil.Literal.Lang where
data Literal where
Int :: Integer -> Literal
Str :: String -> Literal
Dbl :: Double -> Literal
ExactDbl :: Integer -> Literal
Perc :: Integer -> Integer -> Literal
deriving Literal -> Literal -> Bool
(Literal -> Literal -> Bool)
-> (Literal -> Literal -> Bool) -> Eq Literal
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Literal -> Literal -> Bool
$c/= :: Literal -> Literal -> Bool
== :: Literal -> Literal -> Bool
$c== :: Literal -> Literal -> Bool
Eq