syntactic 3.7 → 3.7.1

raw patch · 5 files changed

+10/−10 lines, 5 files

Files

examples/Monad.hs +1/−1
src/Language/Syntactic/Functional.hs +4/−4
src/Language/Syntactic/Sugar.hs +1/−1
src/Language/Syntactic/Syntax.hs +1/−1
syntactic.cabal +3/−3

examples/Monad.hs view

@@ -7,7 +7,7 @@  -- | This module demonstrates monad reification. -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al., IFL 2011--- <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>) for details.+-- <https://emilaxelsson.github.io/documents/persson2011generic.pdf>) for details.  module Monad where

src/Language/Syntactic/Functional.hs view

@@ -207,7 +207,7 @@ -- the root. -- -- See \"Using Circular Programs for Higher-Order Syntax\"--- (ICFP 2013, <http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf>).+-- (ICFP 2013, <https://emilaxelsson.github.io/documents/axelsson2013using.pdf>). lam_template :: (Project Binding sym)     => (Name -> sym (Full a))          -- ^ Variable symbol constructor@@ -307,7 +307,7 @@ -- the root. -- -- See \"Using Circular Programs for Higher-Order Syntax\"--- (ICFP 2013, <http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf>).+-- (ICFP 2013, <https://emilaxelsson.github.io/documents/axelsson2013using.pdf>). lamT_template :: Project BindingT sym     => (Name -> sym (Full a))          -- ^ Variable symbol constructor@@ -432,7 +432,7 @@ -- | Monadic constructs -- -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al., IFL 2011--- <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>).+-- <https://emilaxelsson.github.io/documents/persson2011generic.pdf>). data MONAD m sig   where     Return :: MONAD m (a :-> Full (m a))@@ -459,7 +459,7 @@ -- | Reifiable monad -- -- See \"Generic Monadic Constructs for Embedded Languages\" (Persson et al.,--- IFL 2011 <http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf>).+-- IFL 2011 <https://emilaxelsson.github.io/documents/persson2011generic.pdf>). -- -- It is advised to convert to/from 'Remon' using the 'Syntactic' instance -- provided in the modules "Language.Syntactic.Sugar.Monad" or

src/Language/Syntactic/Sugar.hs view

@@ -14,7 +14,7 @@ -- | \"Syntactic sugar\" -- -- For details, see "Combining Deep and Shallow Embedding for EDSL"--- (TFP 2013, <http://www.cse.chalmers.se/~emax/documents/svenningsson2013combining.pdf>).+-- (TFP 2013, <https://emilaxelsson.github.io/documents/svenningsson2013combining.pdf>).  module Language.Syntactic.Sugar where

src/Language/Syntactic/Syntax.hs view

@@ -14,7 +14,7 @@ -- | Generic representation of typed syntax trees -- -- For details, see: A Generic Abstract Syntax Model for Embedded Languages--- (ICFP 2012, <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf>).+-- (ICFP 2012, <https://emilaxelsson.github.io/documents/axelsson2012generic.pdf>).  module Language.Syntactic.Syntax     ( -- * Syntax trees

syntactic.cabal view

@@ -1,5 +1,5 @@ Name:           syntactic-Version:        3.7+Version:        3.7.1 Synopsis:       Generic representation and manipulation of abstract syntax Description:    The library provides a generic representation of type-indexed abstract syntax trees                 (or indexed data types in general). It also permits the definition of open syntax@@ -13,10 +13,10 @@                 (ICFP 2012):                 .                   * Paper:-                    <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic.pdf>+                    <https://emilaxelsson.github.io/documents/axelsson2012generic.pdf>                 .                   * Slides:-                    <http://www.cse.chalmers.se/~emax/documents/axelsson2012generic-slides.pdf>+                    <https://emilaxelsson.github.io/documents/axelsson2012generic-slides.pdf>                 .                 Example EDSLs can be found in the @examples@ folder.                 .