Safe Haskell	Safe
Language	Haskell2010

DDF.Fix

Documentation

class DBI r => Fix r where Source #

Minimal complete definition

Methods

fix :: r h (f (Fix f) -> Fix f) Source #

runFix :: r h (Fix f -> f (Fix f)) Source #

Instances

Fix Show Source #
Methods fix :: Show h (f (Fix f) -> Fix f) Source # runFix :: Show h (Fix f -> f (Fix f)) Source #
Fix Size Source #
Methods fix :: Size h (f (Fix f) -> Fix f) Source # runFix :: Size h (Fix f -> f (Fix f)) Source #
Fix UInt Source #
Methods fix :: UInt h (f (Fix f) -> Fix f) Source # runFix :: UInt h (Fix f -> f (Fix f)) Source #
(Prod r, Fix r) => Fix (UnLiftEnv r) Source #
Methods fix :: UnLiftEnv r h (f (Fix f) -> Fix f) Source # runFix :: UnLiftEnv r h (Fix f -> f (Fix f)) Source #

fix1 :: Fix r => r h (f (Fix f)) -> r h (Fix f) Source #

runFix1 :: Fix r => r h (Fix f) -> r h (f (Fix f)) Source #