module SubHask.Internal.Prelude
(
Show (..)
, Read (..)
, read
, Storable (..)
, String
, FilePath
, Char
, Int
, Int8
, Int16
, Int32
, Int64
, Integer
, Float
, Double
, Rational
, Bool (..)
, IO
, ST
, Maybe (..)
, Either (..)
, build
, (++)
, Prelude.all
, map
, asTypeOf
, undefined
, otherwise
, error
, seq
, assert
, ifThenElse
, module Control.DeepSeq
, module Data.Proxy
, module Data.Typeable
, module GHC.TypeLits
, Arbitrary (..)
, CoArbitrary (..)
, coarbitraryShow
, Constraint
)
where
import Control.DeepSeq
import Control.Monad.ST
import Data.Foldable
import Data.List (foldl, foldl', foldr, foldl1, foldl1', foldr1, map, (++), intersectBy, unionBy )
import Data.Maybe
import Data.Typeable
import Data.Proxy
import Data.Traversable
import GHC.TypeLits
import GHC.Exts
import GHC.Int
import Prelude
import Test.QuickCheck.Arbitrary
import Foreign.Storable
ifThenElse a b c = case a of
True -> b
False -> c
assert :: String -> Bool -> a -> a
assert str b = if b
then id
else error $ "ASSERT FAILED: "++str