blanks-0.3.0: Fill-in-the-blanks - A library factoring out substitution from ASTs

Safe HaskellNone
LanguageHaskell2010

Blanks.RightAdjunct

Documentation

type family RightAdjunct (t :: * -> *) :: * -> * Source #

Instances
type RightAdjunct Identity Source # 
Instance details

Defined in Blanks.RightAdjunct

type RightAdjunct (Located l) Source # 
Instance details

Defined in Blanks.LocScope

type RightAdjunction (t :: * -> *) = Adjunction t (RightAdjunct t) Source #