Data.Source

data InPlaceSource s

Constructors

• InPlaceSource s Int

Instances

• (Eq s) => Eq (InPlaceSource s)
• (Ord s) => Ord (InPlaceSource s)
• Generic (InPlaceSource s) _
• (Show s) => Show (InPlaceSource s)
• (Monad m) => Source (InPlaceSource String) String Char m

data LineColumnPosition

Constructors

• LineColumnPosition Int Boolean Int Int

Instances

• Eq LineColumnPosition
• Ord LineColumnPosition
• Generic LineColumnPosition _
• Show LineColumnPosition
• (Applicative m) => StartPosition m LineColumnPosition
• (Applicative m) => Position LineColumnPosition Char m

data SourcePosition s p

Constructors

• SourcePosition s p

Instances

• (Eq s, Eq p) => Eq (SourcePosition s p)
• (Ord s, Ord p) => Ord (SourcePosition s p)
• Generic (SourcePosition s p) _
• (Show s, Show p) => Show (SourcePosition s p)
• (Monad m, Position p c m, Source s d c m) => Source (SourcePosition s p) d c m

class Position :: Type -> Type -> (Type -> Type) -> Constraintclass (StartPosition m p) <= Position p c m  where

Members

• advance :: c -> p -> m p

Instances

• (Applicative m) => Position LineColumnPosition Char m

class Source :: Type -> Type -> Type -> (Type -> Type) -> Constraintclass Source s d c m | s -> d, d -> c where

Members

• peekSource :: s -> m (Maybe c)
• headSource :: s -> m (Maybe (Tuple c s))
• refillSource :: d -> s -> m s
• initialSource :: m s

Instances

• (Monad m) => Source String String Char m
• (Monad m) => Source (InPlaceSource String) String Char m
• (Monad m, Position p c m, Source s d c m) => Source (SourcePosition s p) d c m

class StartPosition :: forall k. (k -> Type) -> k -> Constraintclass StartPosition m p  where

Members

• startPosition :: m p

Instances

• (Applicative m) => StartPosition m LineColumnPosition

initStringPosition :: forall s. s -> SourcePosition (InPlaceSource s) LineColumnPosition