Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Syntax.Lexer.Token

Documentation

data Token a Source #

Constructors

Token
Fields payload :: a start :: !Pos end :: !Pos

Instances

Instances details

Foldable Token Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods fold :: Monoid m => Token m -> m # foldMap :: Monoid m => (a -> m) -> Token a -> m # foldMap' :: Monoid m => (a -> m) -> Token a -> m # foldr :: (a -> b -> b) -> b -> Token a -> b # foldr' :: (a -> b -> b) -> b -> Token a -> b # foldl :: (b -> a -> b) -> b -> Token a -> b # foldl' :: (b -> a -> b) -> b -> Token a -> b # foldr1 :: (a -> a -> a) -> Token a -> a # foldl1 :: (a -> a -> a) -> Token a -> a # toList :: Token a -> [a] # null :: Token a -> Bool # length :: Token a -> Int # elem :: Eq a => a -> Token a -> Bool # maximum :: Ord a => Token a -> a # minimum :: Ord a => Token a -> a # sum :: Num a => Token a -> a # product :: Num a => Token a -> a #
Traversable Token Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods traverse :: Applicative f => (a -> f b) -> Token a -> f (Token b) # sequenceA :: Applicative f => Token (f a) -> f (Token a) # mapM :: Monad m => (a -> m b) -> Token a -> m (Token b) # sequence :: Monad m => Token (m a) -> m (Token a) #
Applicative Token Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods pure :: a -> Token a # (<>) :: Token (a -> b) -> Token a -> Token b # liftA2 :: (a -> b -> c) -> Token a -> Token b -> Token c # (>) :: Token a -> Token b -> Token b # (<*) :: Token a -> Token b -> Token a #
Functor Token Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods fmap :: (a -> b) -> Token a -> Token b # (<$) :: a -> Token b -> Token a #
Show a => Show (Token a) Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods showsPrec :: Int -> Token a -> ShowS # show :: Token a -> String # showList :: [Token a] -> ShowS #
Eq a => Eq (Token a) Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods (==) :: Token a -> Token a -> Bool # (/=) :: Token a -> Token a -> Bool #
Ord a => Ord (Token a) Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods compare :: Token a -> Token a -> Ordering # (<) :: Token a -> Token a -> Bool # (<=) :: Token a -> Token a -> Bool # (>) :: Token a -> Token a -> Bool # (>=) :: Token a -> Token a -> Bool # max :: Token a -> Token a -> Token a # min :: Token a -> Token a -> Token a #
ShowErrorComponent (Token Text) Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods showErrorComponent :: Token Text -> String # errorComponentLen :: Token Text -> Int #
ShowErrorComponent (Token Err) Source #
Instance details Defined in Unison.Syntax.Lexer.Unison Methods showErrorComponent :: Token Err -> String # errorComponentLen :: Token Err -> Int #
VisualStream [Token Lexeme] Source #
Instance details Defined in Unison.Syntax.Lexer.Unison Methods showTokens :: Proxy [Token Lexeme] -> NonEmpty (Token0 [Token Lexeme]) -> String # tokensLength :: Proxy [Token Lexeme] -> NonEmpty (Token0 [Token Lexeme]) -> Int #
Annotated (Token a) Source #
Instance details Defined in Unison.Syntax.Lexer.Token Methods ann :: Token a -> Ann Source #

tokenP :: (Ord e, TraversableStream s, MonadParsec e s m) => m a -> m (Token a) Source #

posP :: (Ord e, TraversableStream s, MonadParsec e s m) => m Pos Source #