syntactic-3.6.3: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

Language.Syntactic.Sugar.Binding

Contents

Description

Syntactic instance for functions for domains based on Binding

Documentation

Orphan instances

(Syntactic a, (~) (* -> *) (Domain a) dom, Syntactic b, (~) (* -> *) (Domain b) dom, (:<:) Binding dom) => Syntactic (a -> b) Source # 

Associated Types

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

type Internal (a -> b) :: * Source #

Methods

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

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