about summary refs log blame commit diff
path: root/users/Profpatsch/cas-serve/cas-serve.cabal
blob: d14776700a7caea30037b43c6f7954e681c08f76 (plain) (tree)
1
2
3
4
5
6
                       



                                      













































                                                                                            
                    
                          

                                 
                          


                         




                      
                   
                
cabal-version:      3.0
name:               cas-serve
version:            0.1.0.0
author:             Profpatsch
maintainer:         mail@profpatsch.de

common common-options
  ghc-options:
      -Wall
      -Wno-type-defaults
      -Wunused-packages
      -Wredundant-constraints
      -fwarn-missing-deriving-strategies

  -- See https://downloads.haskell.org/ghc/latest/docs/users_guide/exts.html
  -- for a description of all these extensions
  default-extensions:
      -- Infer Applicative instead of Monad where possible
    ApplicativeDo

    -- Allow literal strings to be Text
    OverloadedStrings

    -- Syntactic sugar improvements
    LambdaCase
    MultiWayIf

    -- Makes the (deprecated) usage of * instead of Data.Kind.Type an error
    NoStarIsType

    -- Convenient and crucial to deal with ambiguous field names, commonly
    -- known as RecordDotSyntax
    OverloadedRecordDot

    -- does not export record fields as functions, use OverloadedRecordDot to access instead
    NoFieldSelectors

    -- Record punning
    RecordWildCards

    -- Improved Deriving
    DerivingStrategies
    DerivingVia

    -- Type-level strings
    DataKinds

    -- to enable the `type` keyword in import lists (ormolu uses this automatically)
    ExplicitNamespaces

  default-language: GHC2021


executable cas-serve
    import: common-options

    main-is:          CasServe.hs

    build-depends:
        base >=4.15 && <5,
        pa-prelude,
        pa-label,
        arglib-netencode,
        netencode,
        text,
        sqlite-simple,
        http-types,
        wai,
        warp,
        mtl,
        bytestring,
        memory,
        crypton,