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%
Go to file
Jesse D. McDonald 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.