name: homoiconic version: 0.1.2.0 synopsis: Constructs FAlgebras from typeclasses, making Haskell functions homoiconic description: This library lets you automatically create FAlgebras for many type classes. From these FAlgebras and the free monad, we can generate abstract syntax trees for the type class. This lets us make many functions homoiconic. homepage: github.com/mikeizbicki/homoiconic license: BSD3 license-file: LICENSE author: Mike Izbicki maintainer: mike@izbicki.me -- copyright: category: Development build-type: Simple -- extra-source-files: ChangeLog.md cabal-version: >=1.10 source-repository head type: git location: http://github.com/mikeizbicki/homoiconic -------------------------------------------------------------------------------- library exposed-modules: Homoiconic.Homogeneous Homoiconic.Heterogeneous Homoiconic.Constrained other-modules: Homoiconic.Homogeneous.TH Homoiconic.Heterogeneous.TH Homoiconic.Constrained.TH Homoiconic.Common.TH Homoiconic.Common.Tags default-extensions: UndecidableSuperClasses, ImplicitParams, TypeInType, TypeApplications, DeriveGeneric, AllowAmbiguousTypes, TypeFamilies, PatternSynonyms, ViewPatterns, DefaultSignatures, RankNTypes, TemplateHaskell, NoRebindableSyntax, TypeOperators, TupleSections, StandaloneDeriving, ScopedTypeVariables, MultiParamTypeClasses, FlexibleInstances, GADTs, UndecidableInstances, ConstraintKinds, FlexibleContexts, CPP, PatternSynonyms, DataKinds build-depends: base >= 4.9 && < 4.10, template-haskell ghc-options: -- -ddump-to-file -- -ddump-rule-firings -- -ddump-rule-rewrites -- -ddump-rules -- -ddump-cmm -- -ddump-simpl-stats -- -dppr-debug -- -ddump-simpl -- -dsuppress-module-prefixes -- -dsuppress-uniques -- -dsuppress-idinfo -- -dsuppress-coercions -- -dsuppress-type-applications hs-source-dirs: src default-language: Haskell2010 -------------------------------------------------------------------------------- Test-Suite Homogeneous type: exitcode-stdio-1.0 main-is: examples/Homogeneous.hs build-depends: base, homoiconic Test-Suite Heterogeneous type: exitcode-stdio-1.0 main-is: examples/Heterogeneous.hs build-depends: base, homoiconic Test-Suite Constrained type: exitcode-stdio-1.0 main-is: examples/Constrained.hs build-depends: base, homoiconic