Stephan Diehl stedi67
stedi67
/ currency_with_newtype_indexed_by_sum_type
Created
January 16, 2020 09:37
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- This example is slightly changed from a gist I can't locate anymore. Sorry, original author. | |
| -- | |
| -- A newtype indexed by a sum type lifted with DataKinds. | |
| -- Inspired by https://www.reddit.com/r/haskell/comments/elh8hl/newtype_or_tagged_type/ | |
| -- See also | |
| -- http://oleg.fi/gists/posts/2019-03-21-flag.html | |
| -- https://hackage.haskell.org/package/safe-money |
stedi67
/ e-commerce.cabal
Created
August 21, 2019 07:53
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: e-commerce | |
| version: 0.1.0.0 | |
| homepage: https://xxx | |
| license: BSD3 | |
| license-file: LICENSE |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import patty | |
| import strformat | |
| import strutils | |
| import sugar | |
| include karax / prelude | |
| include karax / kdom | |
| include karax / kajax | |
| type |