Data.Jcase

Documentation

data Jsuite a

Constructors

Jsuite

Fields

_jsDescription :: Maybe Text

_jsCases :: Vector a

Instances

Eq a => Eq (Jsuite a)

Show a => Show (Jsuite a)

FromJSON a0 => FromJSON (Jsuite a)

data Jcase a b

Constructors

Jcase

Fields

_jcDescription :: Maybe Text

_jcContext :: Maybe a

_jcAssertions :: Vector b

Instances

(Eq a, Eq b) => Eq (Jcase a b)

(Show a, Show b) => Show (Jcase a b)

(FromJSON a0, FromJSON b0) => FromJSON (Jcase a b)

data Jassertion a b

Constructors

Jassertion

Fields

_jaInput :: a

_jaOutput :: b

Instances

(Eq a, Eq b) => Eq (Jassertion a b)

(Show a, Show b) => Show (Jassertion a b)

(FromJSON a0, FromJSON b0) => FromJSON (Jassertion a b)

hUnitJsuite :: (FromJSON a, FromJSON b, FromJSON c, Eq a, Eq b, Show a, Show b) => (Maybe c -> a -> b) -> Jsuite (Jcase c (Jassertion a b)) -> Test

hUnitSimple :: (FromJSON a, FromJSON b, Eq a, Eq b, Show a, Show b) => (a -> b) -> Jsuite (Jcase (Maybe Value) (Jassertion a b)) -> Test

stdinJsuite :: (FromJSON a, FromJSON b, FromJSON c, Eq a, Eq b, Show a, Show b) => (Maybe c -> a -> b) -> IO ()

stdinSimple :: (FromJSON a, FromJSON b, Eq a, Eq b, Show a, Show b) => (a -> b) -> IO ()