| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Symantic.Grammar.Source
Contents
Synopsis
- class Source src where
- noSource :: src
- class Source src => SourceInj a src where
- sourceInj :: a -> src
- type family SourceOf a
- class Source (SourceOf a) => Sourceable a where
- withSource :: SourceInj src (SourceOf a) => Sourceable a => a -> src -> a
- type family Source_Input (src :: *) :: *
- data Span src = Span {}
- data Sourced src a = Sourced {}
Class Source
Class SourceInj
Type family SourceOf
Type Sourceable
class Source (SourceOf a) => Sourceable a where Source #
withSource :: SourceInj src (SourceOf a) => Sourceable a => a -> src -> a Source #
Type Source_Input
type family Source_Input (src :: *) :: * Source #
Instances
| type Source_Input () Source # | |
Defined in Language.Symantic.Grammar.Source type Source_Input () = () | |
Type Span
Type Sourced
Attach a Source to something.
Instances
| Functor (Sourced src) Source # | |
| (Eq src, Eq a) => Eq (Sourced src a) Source # | |
| (Ord src, Ord a) => Ord (Sourced src a) Source # | |
Defined in Language.Symantic.Grammar.Source Methods compare :: Sourced src a -> Sourced src a -> Ordering # (<) :: Sourced src a -> Sourced src a -> Bool # (<=) :: Sourced src a -> Sourced src a -> Bool # (>) :: Sourced src a -> Sourced src a -> Bool # (>=) :: Sourced src a -> Sourced src a -> Bool # | |
| (Show src, Show a) => Show (Sourced src a) Source # | |