commit 52beb62cb80abcfdcc7cb67bf16e57c6931ce4de Author: Stefan Dresselhaus Date: Wed Jul 4 21:11:50 2018 +0200 initial diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..3cad690 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +.stack-work/ +AAAE.cabal +*~ diff --git a/ChangeLog.md b/ChangeLog.md new file mode 100644 index 0000000..fc572b2 --- /dev/null +++ b/ChangeLog.md @@ -0,0 +1,5 @@ +# Changelog for AAAE + +## Unreleased changes + +it compilez diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..fcd3af5 --- /dev/null +++ b/LICENSE @@ -0,0 +1,30 @@ +Copyright Stefan Dresselhaus (c) 2018 + +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + + * Redistributions in binary form must reproduce the above + copyright notice, this list of conditions and the following + disclaimer in the documentation and/or other materials provided + with the distribution. + + * Neither the name of Stefan Dresselhaus nor the names of other + contributors may be used to endorse or promote products derived + from this software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/README.md b/README.md new file mode 100644 index 0000000..2418d9e --- /dev/null +++ b/README.md @@ -0,0 +1,8 @@ +# AAAE + +it compilez .. letz schipp it!! + +# TODO + +- ordentliche symbolische Repräsentation der Formeln +- korrektes zusammenrechnen ;) diff --git a/Setup.hs b/Setup.hs new file mode 100644 index 0000000..9a994af --- /dev/null +++ b/Setup.hs @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain diff --git a/app/Main.hs b/app/Main.hs new file mode 100644 index 0000000..fcde751 --- /dev/null +++ b/app/Main.hs @@ -0,0 +1,9 @@ +module Main where + +import GHC.Generics +import Data.Proxy + +import Lib + +main :: IO () +main = print "compiles" diff --git a/package.yaml b/package.yaml new file mode 100644 index 0000000..c99d024 --- /dev/null +++ b/package.yaml @@ -0,0 +1,57 @@ +name: AAAE +version: 0.1.0.0 +license: BSD3 +author: "Stefan Dresselhaus" +maintainer: "sdressel@techfak.uni-bielefeld.de" +copyright: "2018 Stefan Dresselhaus" + +extra-source-files: +- README.md +- ChangeLog.md + +default-extensions: + - GADTs + - DeriveGeneric + - DeriveFunctor + - RankNTypes + - TypeFamilies + - TypeOperators + - DefaultSignatures + +# Metadata used when publishing your package +# synopsis: Short description of your package +# category: Web + +# To avoid duplicated efforts in documentation and dealing with the +# complications of embedding Haddock markup inside cabal files, it is +# common to point users to the README.md file. +description: Please see the README on GitHub at + +dependencies: +- base >= 4.7 && < 5 +- numbers + +library: + source-dirs: src + +executables: + AAAE-exe: + main: Main.hs + source-dirs: app + ghc-options: + - -threaded + - -rtsopts + - -with-rtsopts=-N + dependencies: + - AAAE + +tests: + AAAE-test: + main: Spec.hs + source-dirs: test + ghc-options: + - -threaded + - -rtsopts + - -with-rtsopts=-N + dependencies: + - AAAE diff --git a/src/Lib.hs b/src/Lib.hs new file mode 100644 index 0000000..c9f90ae --- /dev/null +++ b/src/Lib.hs @@ -0,0 +1,63 @@ +{-# LANGUAGE FlexibleContexts #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TypeApplications #-} +{-# LANGUAGE AllowAmbiguousTypes #-} +module Lib where + +import GHC.Generics +import Data.Number.Symbolic +import Data.Monoid +import Data.Foldable +import Data.Proxy + +data BinTree a = Leaf a + | Node (BinTree a) (BinTree a) + deriving (Show, Functor, Generic, Generic1) + +data BinTreeF a r = LeafF a + | NodeF r r + deriving (Show, Functor, Generic, Generic1) + + +-- defaultGetAccessGF :: (Generic a, AccessGF1 (Rep a)) => Proxy a -> Sym Double +-- defaultGetAccessGF = getAccessGF1 . from +-- +-- defaultGetAccessGF1 :: forall f. (Generic1 f, AccessGF1 (Rep1 f)) => Proxy f -> Sym Double +-- defaultGetAccessGF1 _ = + +class AccessGF1 f where + getAccessGF1 :: Proxy (f a) -> Sym Double + default getAccessGF1 :: (Generic1 f, AccessGF1 (Rep1 f )) => Proxy (f a) -> Sym Double + getAccessGF1 _ = getAccessGF1 (undefined :: Proxy (Rep1 f a)) + +instance AccessGF1 V1 where + getAccessGF1 _ = 0 + +instance AccessGF1 U1 where + getAccessGF1 _ = 0 + +instance AccessGF1 f => AccessGF1 (Rec1 f) where -- Recursion on our datatype + getAccessGF1 _ = 1 / (1 - var "rec") + +instance AccessGF1 Par1 where -- Recursion on our datatype + getAccessGF1 _ = 1 / (1 - var "l") + +instance AccessGF1 (K1 i c) where -- Constant data, either of our `a` from `f a b` or something else + getAccessGF1 _ = 1 / (1 - var "z") + +instance (AccessGF1 f, AccessGF1 g) => AccessGF1 (f :+: g) where -- recurse into both sum types + getAccessGF1 _ = getAccessGF1 (Proxy :: Proxy (f a)) + getAccessGF1 (Proxy :: Proxy (g a)) + +instance (AccessGF1 f, AccessGF1 g) => AccessGF1 (f :*: g) where + getAccessGF1 _ = getAccessGF1 (Proxy :: Proxy (f a)) * getAccessGF1 (Proxy :: Proxy (g a)) + +instance AccessGF1 f => AccessGF1 (M1 i c f) where + getAccessGF1 _ = getAccessGF1 (Proxy :: Proxy (f a)) + +-- class AccessGF a where +-- getAccessGF :: proxy a -> Sym Double +-- default getAccessGF :: (Generic a, AccessGF1 (Rep a)) => Proxy a -> Sym Double +-- getAccessGF = getAccessGF1 (undefined :: Proxy (Rep a)) + +instance AccessGF1 (BinTree) +instance AccessGF1 (BinTreeF a) diff --git a/stack.yaml b/stack.yaml new file mode 100644 index 0000000..8c41144 --- /dev/null +++ b/stack.yaml @@ -0,0 +1,65 @@ +# This file was automatically generated by 'stack init' +# +# Some commonly used options have been documented as comments in this file. +# For advanced use and comprehensive documentation of the format, please see: +# https://docs.haskellstack.org/en/stable/yaml_configuration/ + +# Resolver to choose a 'specific' stackage snapshot or a compiler version. +# A snapshot resolver dictates the compiler version and the set of packages +# to be used for project dependencies. For example: +# +# resolver: lts-3.5 +# resolver: nightly-2015-09-21 +# resolver: ghc-7.10.2 +# resolver: ghcjs-0.1.0_ghc-7.10.2 +# +# The location of a snapshot can be provided as a file or url. Stack assumes +# a snapshot provided as a file might change, whereas a url resource does not. +# +# resolver: ./custom-snapshot.yaml +# resolver: https://example.com/snapshots/2018-01-01.yaml +resolver: nightly-2018-06-29 + +# User packages to be built. +# Various formats can be used as shown in the example below. +# +# packages: +# - some-directory +# - https://example.com/foo/bar/baz-0.0.2.tar.gz +# - location: +# git: https://github.com/commercialhaskell/stack.git +# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a +# - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a +# subdirs: +# - auto-update +# - wai +packages: +- . +# Dependency packages to be pulled from upstream that are not in the resolver +# using the same syntax as the packages field. +# (e.g., acme-missiles-0.3) +# extra-deps: [] + +# Override default flag values for local packages and extra-deps +# flags: {} + +# Extra package databases containing global packages +# extra-package-dbs: [] + +# Control whether we use the GHC we find on the path +# system-ghc: true +# +# Require a specific version of stack, using version ranges +# require-stack-version: -any # Default +# require-stack-version: ">=1.7" +# +# Override the architecture used by stack, especially useful on Windows +# arch: i386 +# arch: x86_64 +# +# Extra directories used by stack for building +# extra-include-dirs: [/path/to/dir] +# extra-lib-dirs: [/path/to/dir] +# +# Allow a newer minor version of GHC than the snapshot specifies +# compiler-check: newer-minor diff --git a/test/Spec.hs b/test/Spec.hs new file mode 100644 index 0000000..cd4753f --- /dev/null +++ b/test/Spec.hs @@ -0,0 +1,2 @@ +main :: IO () +main = putStrLn "Test suite not yet implemented"