Add colorable and decorable.
[haskell/symantic.git] / symantic-grammar / Language / Symantic / Grammar / Meta.hs
index 0f86b13cd4ac6e2632a94156fd3b0b3d367e88a2..b9b0909eb68880f6f3cf16a26c093417fb110dd1 100644 (file)
@@ -31,15 +31,15 @@ class Gram_Error err g where
 -- * Class 'Gram_Source'
 class
  ( Gram_Reader (Source_Input src) g
- , Inj_Source (Span (Source_Input src)) src
+ , SourceInj (Span (Source_Input src)) src
  ) => Gram_Source src g where
        source :: Functor g => g (src -> a) -> g a
        source g =
                askAfter $ askBefore $
                 (\f (beg::Source_Input src) (end::Source_Input src) ->
-                       f (inj_Source $ Span beg end::src))
+                       f (sourceInj $ Span beg end::src))
                 <$> g
 instance
  ( Gram_Reader (Source_Input src) g
- , Inj_Source (Span (Source_Input src)) src
+ , SourceInj (Span (Source_Input src)) src
  ) => Gram_Source src g