name:                models
version:             0
synopsis:            Models of distributed systems, particularly async messaging models
license:             BSD3
license-file:        LICENSE
author:              davean
maintainer:          davean@xkcd.com
copyright:           Copyright (C) 2016 davean
stability:           experimental
category:            Distributed Computing
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10
bug-reports:         oss@xkcd.com
description:         Models of distributed systems, particularly async messaging models.


source-repository head
  type: git
  location: http://code.xkrd.net/distributed-systems/models.git

library
  hs-source-dirs:      src
  default-language:    Haskell2010
  exposed-modules:
      Distributed.Model.Semantics
    , Distributed.Model.LogicalClock
    , Distributed.Model.Ring
    , Distributed.Model.Ring.ChangRoberts
    , Distributed.Model.Simulate
  build-depends:
        base >=4.9 && <4.13
      , transformers
      , machines
      , bytes
      , containers
      , random-fu
      , safe
      , random-source