DDF.Fix

Documentation

class DBI r => Fix r where

Minimal complete definition

fix, runFix

Methods

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

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

Instances

Fix Eval

Methods

fix :: Eval h (f (Fix f) -> Fix f)

runFix :: Eval h (Fix f -> f (Fix f))

Fix Show

Methods

fix :: Show h (f (Fix f) -> Fix f)

runFix :: Show h (Fix f -> f (Fix f))

Fix Size

Methods

fix :: Size h (f (Fix f) -> Fix f)

runFix :: Size h (Fix f -> f (Fix f))

SubL c Fix => Fix (Term c)

Methods

fix :: Term c h (f (Fix f) -> Fix f)

runFix :: Term c h (Fix f -> f (Fix f))

Fix r => Fix (UnHOAS r)

Methods

fix :: UnHOAS r h (f (Fix f) -> Fix f)

runFix :: UnHOAS r h (Fix f -> f (Fix f))

(Prod r, Fix r) => Fix (UnLiftEnv r)

Methods

fix :: UnLiftEnv r h (f (Fix f) -> Fix f)

runFix :: UnLiftEnv r h (Fix f -> f (Fix f))

(Prod r, Fix r) => Fix (ImpW r)

Methods

fix :: ImpW r h (f (Fix f) -> Fix f)

runFix :: ImpW r h (Fix f -> f (Fix f))

type SubLC c Fix

type SubLC c Fix = SubL c DBI

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

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

module DDF.DBI