summaryrefslogtreecommitdiff
path: root/lib/ur/monad.urs
blob: b3cb3d6f21a968fb09b1677e305e85394e06e80d (plain)
1
2
3
4
5
val exec : m ::: (Type -> Type) -> monad m -> ts ::: {Type}
           -> $(map m ts) -> folder ts -> m $ts

val ignore : m ::: (Type -> Type) -> monad m -> t ::: Type
             -> m t -> m unit