symantic-base 0.0.0.20200708 → 0.0.1.20200708

raw patch · 2 files changed

+4/−4 lines, 2 files

Files

• src/Symantic/Base/ADT.hs +3/−3
• symantic-base.cabal +1/−1

@@ -25,11 +25,11 @@ -- and their associativity and precedence, -- with no parenthesis messing around. type family EoT (adt :: [[*]]) :: * where-  -- | This is 'absurd'+  -- This is 'absurd'   EoT '[] = Void-  -- | There Is No Alternative+  -- There Is No Alternative   EoT '[ ps ] = Tuples ps-  -- | The right associativity of @('<+>')@+  -- The right associativity of @('<+>')@   -- puts leaves on 'Left' and nodes on 'Right'   EoT (ps ': ss) = Either (Tuples ps) (EoT ss) 

@@ -2,7 +2,7 @@ -- PVP:  +-+------- breaking API changes --       | | +----- non-breaking API additions --       | | | +--- code changes with no API change-version: 0.0.0.20200708+version: 0.0.1.20200708 category: Data Structures synopsis: Basic symantics for writing Embedded Domain-Specific Languages (EDSL). description: A collection of basic tagless-final combinators.