Control.App.Spec

Definitions

interface Spec : List Error -> Type

  ```
  spec : Spec Init => App Init ()
  spec = describe "example" $ do
      context "arith" $ do
          it "1+1 = 2" $ do
              1+1 `shouldBe` 2
          it "1*1 = 1" $ do
              1*1 `shouldBe` 1
  ```

Parameters: e
Constraints: Has (State SpecState SpecState :: Nil) e
Methods:

describe : String -> App e () -> App e ()

context : String -> App e () -> App e ()

it : String -> App (TestError :: e) () -> App e ()

Implementation: 

Has [State SpecState SpecState] e => Spec e

describe : Spec e => String -> App e () -> App e ()

Visibility: public export

context : Spec e => String -> App e () -> App e ()

Visibility: public export

it : Spec e => String -> App (TestError :: e) () -> App e ()

Visibility: public export

emptyState : SpecState

Visibility: export

specFinalReport : Has [PrimIO, Spec] e => App e ()

Visibility: export

shouldBe : HasErr TestError e => Has [Show, Eq] x => x -> x -> App e ()

  ```
  a `shouldBe` b
  ```

Visibility: export