Safe Haskell	Safe
Language	Haskell2010

DDF.Y

Documentation

class DBI r => Y r where Source #

Minimal complete definition

Methods

y :: r h ((a -> a) -> a) Source #

Instances

Y Eval Source #
Methods y :: Eval h ((a -> a) -> a) Source # undefined :: Eval h a Source #
Y Show Source #
Methods y :: Show h ((a -> a) -> a) Source # undefined :: Show h a Source #
Y Size Source #
Methods y :: Size h ((a -> a) -> a) Source # undefined :: Size h a Source #
SubL c Y => Y (Term c) Source #
Methods y :: Term c h ((a -> a) -> a) Source # undefined :: Term c h a Source #
Y r => Y (UnHOAS r) Source #
Methods y :: UnHOAS r h ((a -> a) -> a) Source # undefined :: UnHOAS r h a Source #
(Prod r, Y r) => Y (UnLiftEnv r) Source #
Methods y :: UnLiftEnv r h ((a -> a) -> a) Source # undefined :: UnLiftEnv r h a Source #
(Prod r, Y r) => Y (ImpW r) Source #
Methods y :: ImpW r h ((a -> a) -> a) Source # undefined :: ImpW r h a Source #
type SubLC c Y Source #
type SubLC c Y = SubL c DBI

y1 :: Y r => r h (b -> b) -> r h b Source #

y2 :: Y r => r h ((a -> b) -> a -> b) -> r h a -> r h b Source #