module Language.Paraiso.Prelude
(
Boolean(..),
Text, showT,
(++)) where
import qualified Data.Text as Text
import qualified NumericPrelude as Prelude
import NumericPrelude hiding ((++), (||), (&&), not)
import qualified Prelude
type Text = Text.Text
showT :: Show a => a -> Text
showT = Text.pack . show
infixr 3 &&
infixr 2 ||
infixr 5 ++
class Appendable a where
(++) :: a -> a -> a
instance Appendable [a] where
(++) = (Prelude.++)
instance Appendable Text.Text where
(++) = Text.append
class Boolean b where
true, false :: b
not :: b -> b
(&&), (||) :: b -> b -> b
instance Boolean Bool where
true = True
false = False
not = Prelude.not
(&&) = (Prelude.&&)
(||) = (Prelude.||)