nybble/MultiApp
Watch
1
0
Fork
You've already forked MultiApp
 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
Repository files (latest commit first)
Filename Latest commit message Latest commit date
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.