open-typerep-0.5: Open type representations and dynamic types

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.TypeRep.Sugar.BindingTR

Description

Syntactic instance for functions

This module is based on domains of the form ((... :+: BindingT :+: ... ) :&: TypeRep t)

Documentation