nybble/MultiApp
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
Preliminary attempt to create Functor/Applicative/Monad analogues with an extra type parameter governed by a type family, to enforce ordering constraints between applicative and/or monadic actions.
1 commit 1 branch 0 tags 24 KiB
  • Haskell 100%
Find a file
Exact
nybble 17063d813f initial commit
2016-01-09 01:20:24 -06:00
.gitignore initial commit 2016-01-09 01:20:24 -06:00
LICENSE initial commit 2016-01-09 01:20:24 -06:00
MultiApp.hs initial commit 2016-01-09 01:20:24 -06:00
README.md initial commit 2016-01-09 01:20:24 -06:00

README.md

MultiApp

Preliminary attempt to create Functor/Applicative/Monad analogues with an extra type parameter governed by a type family, to enforce ordering constraints between applicative and/or monadic actions.