open-typerep-0.5: Open type representations and dynamic types
Language.Syntactic.TypeRep.Sugar.BindingTR
Description
Syntactic instance for functions
Syntactic
This module is based on domains of the form ((... :+: BindingT :+: ... ) :&: TypeRep t)
((... :+: BindingT :+: ... ) :&: TypeRep t)
:+:
BindingT
:&:
TypeRep