measurable.cabal (1854B)
1 name: measurable 2 version: 1.0.0 3 license: BSD3 4 license-file: LICENSE 5 author: Jared Tobin 6 maintainer: jared@jtobin.ca 7 stability: Experimental 8 category: Math 9 homepage: http://github.com/jtobin/measurable 10 bug-reports: http://github.com/jtobin/measurable/issues 11 build-type: Simple 12 cabal-version: >= 1.18 13 synopsis: A shallowly-embedded DSL for basic measure wrangling. 14 description: 15 @measurable@ is a simple shallowly-embedded DSL for dealing with measures. 16 . 17 It adds a @Measure@ synonym for a standard continuation type with a 18 restricted output type and no @callCC@ implementation. 19 . 20 You can construct measures from samples, mass/density functions, or even 21 sampling functions. 22 . 23 Construct image measures by @fmap@-ing measurable functions over them, or 24 create new measures from existing ones by seamless measure arithmetic provided 25 by a simple @Num@ instance. Create measures from graphs of other measures 26 using the @Monad@ instance and do-notation. The @Applicative@ instance 27 gives you product measure. 28 . 29 Query measures by integrating meaurable functions against them. Extract 30 moments, cumulative density functions, or probabilities. 31 . 32 Caveat: while fun to play with, and rewarding to see how measures fit 33 together, measure operations as nested integrals are exponentially complex. 34 Don't expect them to scale very far! 35 36 source-repository head 37 type: git 38 location: git://github.com/jtobin/measurable.git 39 40 library 41 hs-source-dirs: src 42 default-language: Haskell2010 43 exposed-modules: 44 Measurable 45 , Measurable.Core 46 , Measurable.Measures 47 48 build-depends: 49 base 50 , foldl 51 , integration 52 , math-functions 53 , mtl 54 , statistics 55 , transformers 56