06e4f55...master · syntax

git.iko.soy/syntax

on master help sign in

Data/Syntax.hs+4

since splitsnapshots

unifiedsplit

@@ -166,6 +166,10 @@ instance Syntax syn => Syntax (ReaderCT env syn) where

166 takeWhile1 = clift . takeWhile1

167 takeTill = clift . takeTill

168 takeTill1 = clift . takeTill1

169+ vecN n e = ReaderCT $ vecN n . runReaderCT e

170+ ivecN n e = ReaderCT $ ivecN n . runReaderCT e

171+ uvecN n e = ReaderCT $ uvecN n . runReaderCT e

172+ uivecN n e = ReaderCT $ uivecN n . runReaderCT e

169

173

170-- | Execute a computation in an isolated context.

174-- | Execute a computation in an isolated context.

171--

175--

Data/Syntax/Combinator.hs+10−1

@@ -26,6 +26,9 @@ module Data.Syntax.Combinator

26 sepBy,

27 sepBy1,

29+ -- * Arrowized combinators.

30+ takeArr,

31+

29 -- * Vectors.

32 -- * Vectors.

30 vecNSepBy,

33 vecNSepBy,

31 ivecNSepBy,

34 ivecNSepBy,

@@ -48,10 +51,11 @@ import Control.Category.Structures

48import Control.Lens

51import Control.Lens

49import Control.Lens.SemiIso

52import Control.Lens.SemiIso

50import Control.SIArrow

53import Control.SIArrow

54+import qualified Data.MonoTraversable as Seq

51import Data.Syntax

55import Data.Syntax

52import qualified Data.Vector as V

56import qualified Data.Vector as V

53import qualified Data.Vector.Unboxed as VU

57import qualified Data.Vector.Unboxed as VU

54−import Prelude hiding (id, (.))

58+import Prelude hiding (id, (.), take)

56-- | One or zero occurences of @f@.

60-- | One or zero occurences of @f@.

57optional :: SIArrow cat => cat () a -> cat () (Maybe a)

61optional :: SIArrow cat => cat () a -> cat () (Maybe a)

@@ -89,6 +93,11 @@ sepBy v s = sepBy1 v s /+/ sipure _Empty

89sepBy1 :: SIArrow cat => cat () a -> cat () () -> cat () [a]

93sepBy1 :: SIArrow cat => cat () a -> cat () () -> cat () [a]

90sepBy1 v s = _Cons /$/ v /*/ (s */ sepBy1 v s /+/ sipure _Empty)

94sepBy1 v s = _Cons /$/ v /*/ (s */ sepBy1 v s /+/ sipure _Empty)

96+-- | A string of given length.

97+takeArr :: Syntax syn => syn Int (Seq syn)

98+takeArr = sibind $ iso (\n -> constant n #>> take n)

99+ (\s -> constant (Seq.olength s) #>> take (Seq.olength s))

100+

92-- | Constant size vector with separators.

101-- | Constant size vector with separators.

93--

102--

94-- @vecNSepBy n e sep@ describes a size @n@ vector with elements @e@ separated by @sep@.

103-- @vecNSepBy n e sep@ describes a size @n@ vector with elements @e@ separated by @sep@.

syntax.cabal+5−5

@@ -5,8 +5,9 @@ description:

5 "syntax" allows you to write a single syntax description and instantiate is both as a parser and a pretty printer.

6 .

7 Syntax descriptions are written in applicative or arrow style. The library uses a custom typeclass hierarchy, provided

8− by the "semi-iso" package. Most of the time you will be using operators like '/$/' and '/*/', just like parser combinators.

8+ by the "semi-iso" package. Most of the time you will be using operators like '/$/', '/*/' and '/+/' (= '<|>'), just

9− When more power is needed - e.g. when the syntax depends on the parsed or printed value - you turn to arrows.

9+ like parser combinators. When more power is needed - e.g. when the syntax depends on the parsed or printed value -

10+ you turn to arrows.

10 .

11 .

11 Semi-isomorphisms from "semi-iso" are the basic building block of syntax descriptions. I recommend reading

12 Semi-isomorphisms from "semi-iso" are the basic building block of syntax descriptions. I recommend reading

12 the hackage page of "semi-iso" first, as it contains much more information.

13 the hackage page of "semi-iso" first, as it contains much more information.

@@ -21,9 +22,8 @@ description:

21 a reader category transformer that tracks current indentation level. I plan on implementing Haskell layout rule in the

22 a reader category transformer that tracks current indentation level. I plan on implementing Haskell layout rule in the

22 future.

23 future.

23 .

24 .

24− Note that the library can work with both text and binary data. There are no binary combinators implemented - yet.

25+ The library can work with both text and binary data. Alas, there are no binary combinators implemented yet.

25− Alas, these are not only useful combinators missing! I will slowly but steadily implement them over time

26− (but these category transformers look so much more interesting for now ;).

26+ I will implement them when i have the time (but these category transformers look so much more interesting for now ;).

27 .

28 EXAMPLES! See @syntax-example@ and @syntax-example-json@ for examples.

29 .