graft-0.0.0

graft-0.0.0

•  Effect
  Submodules

  •  Effect.Error
    Submodules

    •  Effect.Error.Passthrough
  •  Effect.Fail
    Submodules

    •  Effect.Fail.Passthrough
  •  Effect.IO
    Submodules

    •  Effect.IO.Passthrough
  •  Effect.Internal
  •  Effect.State
  •  Effect.TH
  •  Effect.THTests
  •  Effect.Writer
    Submodules

    •  Effect.Writer.Passthrough
• Examples
  Submodules

  • Account
    Submodules

    •  Examples.Account.AbstractDomain
    •  Examples.Account.PaymentMod
    •  Examples.Account.Scenarios
    •  Examples.Account.SimpleDomain
  • Ltl
    Submodules

    •  Examples.Ltl.HigherOrder
    •  Examples.Ltl.Simple
• Logic
  Submodules

  •  Logic.Ltl
    Submodules

    •  Logic.Ltl.TH
  •  Logic.NextBind
  •  Logic.SingleStep