DDF.Y

Documentation

class DBI r => Y r where

Minimal complete definition

y

Methods

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

undefined :: r h a

Instances

Y Eval

Methods

y :: Eval h ((a -> a) -> a)

undefined :: Eval h a

Y Show

Methods

y :: Show h ((a -> a) -> a)

undefined :: Show h a

Y Size

Methods

y :: Size h ((a -> a) -> a)

undefined :: Size h a

Y UInt

Methods

y :: UInt h ((a -> a) -> a)

undefined :: UInt h a

SubL c Y => Y (Term c)

Methods

y :: Term c h ((a -> a) -> a)

undefined :: Term c h a

Y r => Y (UnHOAS r)

Methods

y :: UnHOAS r h ((a -> a) -> a)

undefined :: UnHOAS r h a

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

Methods

y :: UnLiftEnv r h ((a -> a) -> a)

undefined :: UnLiftEnv r h a

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

Methods

y :: ImpW r h ((a -> a) -> a)

undefined :: ImpW r h a

type SubLC c Y

type SubLC c Y = SubL c DBI

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

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

module DDF.DBI