| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
MagicHaskeller.IOGenerator
- arbitraries :: Arbitrary a => [a]
- arbs :: Arbitrary a => Int -> TFGen -> [a]
- showIOPairsHTML :: String -> [ShownIOPair] -> String
- showIOPairsWithFormsHTML :: String -> String -> String -> [ShownIOPair] -> String
- showIOPairsHTML' :: (Int -> ShownIOPair -> String) -> String -> [ShownIOPair] -> String
- nubOn :: Eq a => (b -> a) -> [b] -> [b]
- nubSortedOn :: Ord a => (b -> a) -> [b] -> [b]
- nubSortedOn' :: Ord a => (b -> a) -> [b] -> [b]
- type ShownIOPair = ([AnnShowS], String)
- iopairToInputs :: ShownIOPair -> [String]
- assToString :: AnnShowS -> String
- type AnnShowS = (String -> String) -> String -> String
- showIOPairHTML :: ShownIOPair -> String
- showIOPairWithFormHTML :: String -> Int -> ([AnnShowS], String) -> String
- mkForm :: String -> Int -> ShownIOPair -> String
- showsInputs :: Foldable t => t ((a -> a) -> [Char] -> [Char]) -> [Char] -> [Char]
- escapeQuote :: Char -> [Char]
- class IOGenerator a where
- generateIOPairsLitNum :: (Num a, Ord a, Show a, IOGenerator b) => [a] -> (a -> b) -> [ShownIOPair]
- integrals :: Integral i => [i]
- mhGenerateIOPairs :: (ShowArbitrary a, IOGenerator b) => (a -> b) -> [ShownIOPair]
- class ShowArbitrary a where
- sas :: Show a => (a -> Bool) -> [a] -> [(AnnShowS, a)]
- sasNum :: (Show a, Arbitrary a, Num a, Ord a) => [(AnnShowS, a)]
- sasFalse :: Show a => [a] -> [(AnnShowS, a)]
- sasIntegral :: (Show a, Arbitrary a, Integral a, Ord a) => [(AnnShowS, a)]
- mapSA :: [Char] -> (t2 -> t1) -> (t -> String -> [Char], t2) -> (t -> ShowS, t1)
- skip :: Int -> [a] -> [a]
- chopBy :: [Int] -> [a] -> [[a]]
- cvt :: [(AnnShowS, a)] -> (AnnShowS, [a])
- showsList :: [(a -> a) -> [Char] -> [Char]] -> (a -> a) -> ShowS
- generateIOPairsFun :: (Ord a, Show a, Arbitrary a, IOGenerator b) => Bool -> (a -> b) -> [ShownIOPair]
- uniqSort :: Ord a => [a] -> [a]
- class NearEq a where
Documentation
arbitraries :: Arbitrary a => [a] Source #
showIOPairsHTML :: String -> [ShownIOPair] -> String Source #
showIOPairsWithFormsHTML Source #
Arguments
| :: String | CGI.myPath, which is usually "cgi-binMagicHaskeller.cgi" |
| -> String | predicate before escaping single quotes |
| -> String | |
| -> [ShownIOPair] | |
| -> String |
showIOPairsHTML' :: (Int -> ShownIOPair -> String) -> String -> [ShownIOPair] -> String Source #
nubSortedOn :: Ord a => (b -> a) -> [b] -> [b] Source #
nubSortedOn' :: Ord a => (b -> a) -> [b] -> [b] Source #
type ShownIOPair = ([AnnShowS], String) Source #
iopairToInputs :: ShownIOPair -> [String] Source #
assToString :: AnnShowS -> String Source #
showIOPairHTML :: ShownIOPair -> String Source #
escapeQuote :: Char -> [Char] Source #
class IOGenerator a where Source #
Minimal complete definition
Methods
generateIOPairs :: a -> [ShownIOPair] Source #
Instances
| Show a => IOGenerator a Source # | |
| IOGenerator r => IOGenerator (Bool -> r) Source # | |
| IOGenerator r => IOGenerator (Char -> r) Source # | |
| IOGenerator r => IOGenerator (Double -> r) Source # | |
| IOGenerator r => IOGenerator (Float -> r) Source # | |
| IOGenerator r => IOGenerator (Int -> r) Source # | |
| IOGenerator r => IOGenerator (Integer -> r) Source # | |
| IOGenerator r => IOGenerator (Ordering -> r) Source # | |
| IOGenerator r => IOGenerator (() -> r) Source # | |
| (ShowArbitrary a, IOGenerator r) => IOGenerator (a -> r) Source # | |
| IOGenerator r => IOGenerator (String -> r) Source # | |
generateIOPairsLitNum :: (Num a, Ord a, Show a, IOGenerator b) => [a] -> (a -> b) -> [ShownIOPair] Source #
mhGenerateIOPairs :: (ShowArbitrary a, IOGenerator b) => (a -> b) -> [ShownIOPair] Source #
class ShowArbitrary a where Source #
ShowArbitrary is a variant of Arbitrary for presenting I/O example pairs. It uses everythingF for generating printable functions.
Here `good presentation' is more important than `good randomness'.
Minimal complete definition
Methods
showArbitraries :: [(AnnShowS, a)] Source #
Instances
| ShowArbitrary Bool Source # | |
| ShowArbitrary Char Source # | |
| ShowArbitrary Double Source # | |
| ShowArbitrary Float Source # | |
| ShowArbitrary Int Source # | |
| ShowArbitrary Integer Source # | |
| ShowArbitrary Ordering Source # | |
| ShowArbitrary () Source # | |
| ShowArbitrary a => ShowArbitrary [a] Source # | |
| ShowArbitrary a => ShowArbitrary (Maybe a) Source # | |
| (Integral i, Random i, Show i) => ShowArbitrary (Ratio i) Source # | |
| (Typeable * a, Typeable * b) => ShowArbitrary (a -> b) Source # | |
| (ShowArbitrary a, ShowArbitrary b) => ShowArbitrary (Either a b) Source # | |
| (ShowArbitrary a, ShowArbitrary b) => ShowArbitrary (a, b) Source # | |
| (ShowArbitrary a, ShowArbitrary b, ShowArbitrary c) => ShowArbitrary (a, b, c) Source # | |
generateIOPairsFun :: (Ord a, Show a, Arbitrary a, IOGenerator b) => Bool -> (a -> b) -> [ShownIOPair] Source #
Minimal complete definition
Instances
| NearEq Bool Source # | |
| NearEq Char Source # | |
| NearEq Double Source # | |
| NearEq Float Source # | |
| NearEq Int Source # | |
| NearEq Integer Source # | |
| NearEq Ordering Source # | |
| NearEq () Source # | |
| NearEq a => NearEq [a] Source # | |
| NearEq a => NearEq (Maybe a) Source # | |
| (NearEq i, Integral i) => NearEq (Ratio i) Source # | |
| (NearEq a, NearEq b) => NearEq (Either a b) Source # | |
| (NearEq a, NearEq b) => NearEq (a, b) Source # | |
| (NearEq a, NearEq b, NearEq c) => NearEq (a, b, c) Source # | |