MagicHaskeller.IOGenerator

Documentation

arbitraries :: Arbitrary a => [a]

arbs :: Arbitrary a => Int -> TFGen -> [a]

showIOPairsHTML :: String -> [ShownIOPair] -> String

showIOPairsWithFormsHTML

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

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

Arguments

 = (String -> String)

annotater

-> 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

Minimal complete definition

generateIOPairs

Methods

generateIOPairs :: a -> [ShownIOPair]

Instances

Show a => IOGenerator a

Methods

generateIOPairs :: a -> [ShownIOPair]

IOGenerator r => IOGenerator (Bool -> r)

Methods

generateIOPairs :: (Bool -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Char -> r)

Methods

generateIOPairs :: (Char -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Double -> r)

Methods

generateIOPairs :: (Double -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Float -> r)

Methods

generateIOPairs :: (Float -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Int -> r)

Methods

generateIOPairs :: (Int -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Integer -> r)

Methods

generateIOPairs :: (Integer -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (Ordering -> r)

Methods

generateIOPairs :: (Ordering -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (() -> r)

Methods

generateIOPairs :: (() -> r) -> [ShownIOPair]

(ShowArbitrary a, IOGenerator r) => IOGenerator (a -> r)

Methods

generateIOPairs :: (a -> r) -> [ShownIOPair]

IOGenerator r => IOGenerator (String -> r)

Methods

generateIOPairs :: (String -> r) -> [ShownIOPair]

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

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

showArbitraries

Methods

showArbitraries :: [(AnnShowS, a)]

Instances

ShowArbitrary Bool

Methods

showArbitraries :: [(AnnShowS, Bool)]

ShowArbitrary Char

Methods

showArbitraries :: [(AnnShowS, Char)]

ShowArbitrary Double

Methods

showArbitraries :: [(AnnShowS, Double)]

ShowArbitrary Float

Methods

showArbitraries :: [(AnnShowS, Float)]

ShowArbitrary Int

Methods

showArbitraries :: [(AnnShowS, Int)]

ShowArbitrary Integer

Methods

showArbitraries :: [(AnnShowS, Integer)]

ShowArbitrary Ordering

Methods

showArbitraries :: [(AnnShowS, Ordering)]

ShowArbitrary ()

Methods

showArbitraries :: [(AnnShowS, ())]

ShowArbitrary a => ShowArbitrary [a]

Methods

showArbitraries :: [(AnnShowS, [a])]

ShowArbitrary a => ShowArbitrary (Maybe a)

Methods

showArbitraries :: [(AnnShowS, Maybe a)]

(Integral i, Random i, Show i) => ShowArbitrary (Ratio i)

Methods

showArbitraries :: [(AnnShowS, Ratio i)]

(Typeable * a, Typeable * b) => ShowArbitrary (a -> b)

Methods

showArbitraries :: [(AnnShowS, a -> b)]

(ShowArbitrary a, ShowArbitrary b) => ShowArbitrary (Either a b)

Methods

showArbitraries :: [(AnnShowS, Either a b)]

(ShowArbitrary a, ShowArbitrary b) => ShowArbitrary (a, b)

Methods

showArbitraries :: [(AnnShowS, (a, b))]

(ShowArbitrary a, ShowArbitrary b, ShowArbitrary c) => ShowArbitrary (a, b, c)

Methods

showArbitraries :: [(AnnShowS, (a, b, c))]

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

Minimal complete definition

(~=)

Methods

(~=) :: a -> a -> Bool infix 4

Instances

NearEq Bool

Methods

(~=) :: Bool -> Bool -> Bool

NearEq Char

Methods

(~=) :: Char -> Char -> Bool

NearEq Double

Methods

(~=) :: Double -> Double -> Bool

NearEq Float

Methods

(~=) :: Float -> Float -> Bool

NearEq Int

Methods

(~=) :: Int -> Int -> Bool

NearEq Integer

Methods

(~=) :: Integer -> Integer -> Bool

NearEq Ordering

Methods

(~=) :: Ordering -> Ordering -> Bool

NearEq ()

Methods

(~=) :: () -> () -> Bool

NearEq a => NearEq [a]

Methods

(~=) :: [a] -> [a] -> Bool

NearEq a => NearEq (Maybe a)

Methods

(~=) :: Maybe a -> Maybe a -> Bool

(NearEq i, Integral i) => NearEq (Ratio i)

Methods

(~=) :: Ratio i -> Ratio i -> Bool

(NearEq a, NearEq b) => NearEq (Either a b)

Methods

(~=) :: Either a b -> Either a b -> Bool

(NearEq a, NearEq b) => NearEq (a, b)

Methods

(~=) :: (a, b) -> (a, b) -> Bool

(NearEq a, NearEq b, NearEq c) => NearEq (a, b, c)

Methods

(~=) :: (a, b, c) -> (a, b, c) -> Bool