├── .ghci ├── .github ├── CODEOWNERS └── workflows │ └── ci.yml ├── .gitignore ├── .stylish-haskell.yaml ├── CHANGELOG.md ├── LICENSE ├── README.md ├── membrain.cabal ├── src ├── Membrain.hs └── Membrain │ ├── Base.hs │ ├── Constructors.hs │ ├── Memory.hs │ └── Units.hs ├── stack.yaml └── test ├── Doctest.hs ├── Spec.hs └── Test └── Memory ├── Laws.hs ├── TypeLevel.hs └── ValueLevel.hs /.ghci: -------------------------------------------------------------------------------- 1 | :set -XTypeApplications 2 | -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @chshersh @vrom911 -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/.gitignore -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/README.md -------------------------------------------------------------------------------- /membrain.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/membrain.cabal -------------------------------------------------------------------------------- /src/Membrain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/src/Membrain.hs -------------------------------------------------------------------------------- /src/Membrain/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/src/Membrain/Base.hs -------------------------------------------------------------------------------- /src/Membrain/Constructors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/src/Membrain/Constructors.hs -------------------------------------------------------------------------------- /src/Membrain/Memory.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/src/Membrain/Memory.hs -------------------------------------------------------------------------------- /src/Membrain/Units.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/src/Membrain/Units.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | resolver: nightly-2020-02-08 2 | -------------------------------------------------------------------------------- /test/Doctest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/test/Doctest.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/Test/Memory/Laws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/test/Test/Memory/Laws.hs -------------------------------------------------------------------------------- /test/Test/Memory/TypeLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/test/Test/Memory/TypeLevel.hs -------------------------------------------------------------------------------- /test/Test/Memory/ValueLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kowainik/membrain/HEAD/test/Test/Memory/ValueLevel.hs --------------------------------------------------------------------------------