ddsl.cabal

cabal-version:      2.4
name:               super-v
version:            0.1.0.0
license:            MIT
license-file:       LICENSE
author:             Nicholas V. Lewchenko
maintainer:         contact@octalsrc.org

library
    exposed-modules:
        SuperV,
        SuperV.Example.Election,
        SuperV.Example.LogConsensus
    other-modules:
        Ddsl,
        Ddsl.Atom,
        Ddsl.Base,
        Ddsl.Base.Tuple,
        Ddsl.Base.Bool,
        Ddsl.Internal,
        Ddsl.Symbolic,
        Ddsl.Term,
        Ddsl.TH,
        Ddsl.Ext.Accum,
        Ddsl.Ext.Accum.Class,
        Ddsl.Ext.Accum.Example,
        Ddsl.Ext.Accum.TH,
        Ddsl.Ext.CardSet,
        Ddsl.Ext.CardSet.Example,
        Ddsl.Ext.CardSet.Internal,
        Ddsl.Ext.ForallCheck,
        Ddsl.Ext.List,
        Ddsl.Ext.List.Class,
        Ddsl.Ext.List.Example,
        Ddsl.Ext.List.TH,
        Ddsl.Ext.Map,
        Ddsl.Ext.Map.Class,
        Ddsl.Ext.Map.Example,
        Ddsl.Ext.Map.Filter,
        Ddsl.Ext.Map.TH,
        Ddsl.Ext.Nat,
        Ddsl.Ext.Nat.Class,
        Ddsl.Ext.Nat.Example,
        Ddsl.Ext.Nat.TH,
        Ddsl.Ext.Set,
        Ddsl.Ext.Set.Class,
        Ddsl.Ext.Set.Example,
        Ddsl.Ext.Set.Filter,
        Ddsl.Ext.Set.TH,
        Ddsl.Ext.Tree,
        Ddsl.Ext.Tree.Class,
        Ddsl.Ext.Tree.TH,
        Ddsl.Prelude
    build-depends:
        base >=4.17.2 && <4.19,
        sbv >=10.7 && <10.13,
        containers,
        store,
        syb,
        time,
        template-haskell
    hs-source-dirs:   lib
    default-language: Haskell2010

executable ferry
    hs-source-dirs: ferry
    default-language: Haskell2010
    main-is: Main.hs
    other-modules:
        Config,
        Config.New,
        ClientComm,
        ClientComm.Protocol,
        ClientComm.Transport,
        State,
        AppState
    build-depends:
        aeson,
        base >=4.17.2 && <4.19,
        ddsl,
        ccmsg >=1.0 && <1.1,
        bytestring,
        cereal,
        mtl,
        microlens-platform,
        network-simple,
        containers,
        random,
        stm,
        store,
        text,
        time,
        unix,