Language.Syntactic.Sugar.BindingTyped

Syntactic instance for functions for domains based on Typed and BindingT

Documentation

Orphan instances

((~) (* -> *) sym (Typed s), Syntactic a, (~) (* -> *) (Domain a) sym, Syntactic b, (~) (* -> *) (Domain b) sym, (:<:) BindingT s, Typeable * (Internal a), Typeable * (Internal b)) => Syntactic (a -> b)

Associated Types

type Domain (a -> b) :: * -> *

type Internal (a -> b) :: *

Methods

desugar :: (a -> b) -> ASTF (Domain (a -> b)) (Internal (a -> b))

sugar :: ASTF (Domain (a -> b)) (Internal (a -> b)) -> a -> b