Modulepolysemy-1.9.2.0

Polysemy.Resource

valuebracket

valuebracketOnError

valuebracket_ :: Member Resource r => Sem r a -> Sem r b -> Sem r c -> Sem r c

valuefinally :: Member Resource r => Sem r a -> Sem r b -> Sem r a

valueonException :: Member Resource r => Sem r a -> Sem r b -> Sem r a

valueresourceToIOFinal :: Member (Final IO) r => Sem (Resource ': r) a -> Sem r a

valuerunResource :: Sem (Resource ': r) a -> Sem r a

datadata Resource (m :: Type -> Type) a where