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 Identity = Identity
type RightAdjunct (Located l) Source # 
Instance details

Defined in Blanks.LocScope

type RightAdjunct (Located l) = Colocated l

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

type RightAdjunctionApplicative t = (RightAdjunction t, Applicative (RightAdjunct t)) Source #