Language.Syntactic.Sugar

"Syntactic sugar"

For details, see "Combining Deep and Shallow Embedding for EDSL" (TFP 2013, http://www.cse.chalmers.se/~emax/documents/svenningsson2013combining.pdf).

Documentation

class Syntactic a where

It is usually assumed that (desugar (sugar a)) has the same meaning as a.

Minimal complete definition

desugar, sugar

Associated Types

type Domain a :: * -> *

type Internal a

Methods

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

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

Instances

Syntactic (ASTFull sym a)

Associated Types

type Domain (ASTFull sym a) :: * -> *

type Internal (ASTFull sym a) :: *

Methods

desugar :: ASTFull sym a -> ASTF (Domain (ASTFull sym a)) (Internal (ASTFull sym a))

sugar :: ASTF (Domain (ASTFull sym a)) (Internal (ASTFull sym a)) -> ASTFull sym a

Syntactic (ASTF sym a)

Associated Types

type Domain (ASTF sym a) :: * -> *

type Internal (ASTF sym a) :: *

Methods

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

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

resugar :: (Syntactic a, Syntactic b, Domain a ~ Domain b, Internal a ~ Internal b) => a -> b

Syntactic type casting

class SyntacticN f internal | f -> internal where

N-ary syntactic functions

desugarN has any type of the form:

desugarN ::
    ( Syntactic a
    , Syntactic b
    , ...
    , Syntactic x
    , Domain a ~ sym
    , Domain b ~ sym
    , ...
    , Domain x ~ sym
    ) => (a -> b -> ... -> x)
      -> (  ASTF sym (Internal a)
         -> ASTF sym (Internal b)
         -> ...
         -> ASTF sym (Internal x)
         )

...and vice versa for sugarN.

Minimal complete definition

desugarN, sugarN

Methods

desugarN :: f -> internal

sugarN :: internal -> f

Instances

(Syntactic f, (~) (* -> *) (Domain f) sym, (~) * fi (AST sym (Full (Internal f)))) => SyntacticN f fi

Methods

desugarN :: f -> fi

sugarN :: fi -> f

(Syntactic a, (~) (* -> *) (Domain a) sym, (~) * ia (Internal a), SyntacticN f fi) => SyntacticN (a -> f) (AST sym (Full ia) -> fi)

Methods

desugarN :: (a -> f) -> AST sym (Full ia) -> fi

sugarN :: (AST sym (Full ia) -> fi) -> a -> f

sugarSym :: (Signature sig, fi ~ SmartFun sup sig, sig ~ SmartSig fi, sup ~ SmartSym fi, SyntacticN f fi, sub :<: sup) => sub sig -> f

"Sugared" symbol application

sugarSym has any type of the form:

sugarSym ::
    ( sub :<: AST sup
    , Syntactic a
    , Syntactic b
    , ...
    , Syntactic x
    , Domain a ~ Domain b ~ ... ~ Domain x
    ) => sub (Internal a :-> Internal b :-> ... :-> Full (Internal x))
      -> (a -> b -> ... -> x)

sugarSymTyped :: (Signature sig, fi ~ SmartFun (Typed sup) sig, sig ~ SmartSig fi, Typed sup ~ SmartSym fi, SyntacticN f fi, sub :<: sup, Typeable (DenResult sig)) => sub sig -> f

"Sugared" symbol application

sugarSymTyped has any type of the form:

sugarSymTyped ::
    ( sub :<: AST (Typed sup)
    , Syntactic a
    , Syntactic b
    , ...
    , Syntactic x
    , Domain a ~ Domain b ~ ... ~ Domain x
    , Typeable (Internal x)
    ) => sub (Internal a :-> Internal b :-> ... :-> Full (Internal x))
      -> (a -> b -> ... -> x)