Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Util.AnnotatedText

Documentation

data Segment a Source #

Constructors

Segment
Fields segment :: String annotation :: Maybe a

Instances

Instances details

Foldable Segment Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fold :: Monoid m => Segment m -> m # foldMap :: Monoid m => (a -> m) -> Segment a -> m # foldMap' :: Monoid m => (a -> m) -> Segment a -> m # foldr :: (a -> b -> b) -> b -> Segment a -> b # foldr' :: (a -> b -> b) -> b -> Segment a -> b # foldl :: (b -> a -> b) -> b -> Segment a -> b # foldl' :: (b -> a -> b) -> b -> Segment a -> b # foldr1 :: (a -> a -> a) -> Segment a -> a # foldl1 :: (a -> a -> a) -> Segment a -> a # toList :: Segment a -> [a] # null :: Segment a -> Bool # length :: Segment a -> Int # elem :: Eq a => a -> Segment a -> Bool # maximum :: Ord a => Segment a -> a # minimum :: Ord a => Segment a -> a # sum :: Num a => Segment a -> a # product :: Num a => Segment a -> a #
Functor Segment Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fmap :: (a -> b) -> Segment a -> Segment b # (<$) :: a -> Segment b -> Segment a #
Generic (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Rep (Segment a) :: Type -> Type # Methods from :: Segment a -> Rep (Segment a) x # to :: Rep (Segment a) x -> Segment a #
Show a => Show (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods showsPrec :: Int -> Segment a -> ShowS # show :: Segment a -> String # showList :: [Segment a] -> ShowS #
Eq a => Eq (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (==) :: Segment a -> Segment a -> Bool # (/=) :: Segment a -> Segment a -> Bool #
Ord a => Ord (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods compare :: Segment a -> Segment a -> Ordering # (<) :: Segment a -> Segment a -> Bool # (<=) :: Segment a -> Segment a -> Bool # (>) :: Segment a -> Segment a -> Bool # (>=) :: Segment a -> Segment a -> Bool # max :: Segment a -> Segment a -> Segment a # min :: Segment a -> Segment a -> Segment a #
type Rep (Segment a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Rep (Segment a) = D1 ('MetaData "Segment" "Unison.Util.AnnotatedText" "unison-pretty-printer-0.0.0-JaQ4cM0rSg6FItGMqbm2nz" 'False) (C1 ('MetaCons "Segment" 'PrefixI 'True) (S1 ('MetaSel ('Just "segment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

toPair :: Segment a -> (String, Maybe a) Source #

newtype AnnotatedText a Source #

Constructors

AnnotatedText (Seq (Segment a))

Instances

Instances details

Foldable AnnotatedText Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fold :: Monoid m => AnnotatedText m -> m # foldMap :: Monoid m => (a -> m) -> AnnotatedText a -> m # foldMap' :: Monoid m => (a -> m) -> AnnotatedText a -> m # foldr :: (a -> b -> b) -> b -> AnnotatedText a -> b # foldr' :: (a -> b -> b) -> b -> AnnotatedText a -> b # foldl :: (b -> a -> b) -> b -> AnnotatedText a -> b # foldl' :: (b -> a -> b) -> b -> AnnotatedText a -> b # foldr1 :: (a -> a -> a) -> AnnotatedText a -> a # foldl1 :: (a -> a -> a) -> AnnotatedText a -> a # toList :: AnnotatedText a -> [a] # null :: AnnotatedText a -> Bool # length :: AnnotatedText a -> Int # elem :: Eq a => a -> AnnotatedText a -> Bool # maximum :: Ord a => AnnotatedText a -> a # minimum :: Ord a => AnnotatedText a -> a # sum :: Num a => AnnotatedText a -> a # product :: Num a => AnnotatedText a -> a #
Functor AnnotatedText Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fmap :: (a -> b) -> AnnotatedText a -> AnnotatedText b # (<$) :: a -> AnnotatedText b -> AnnotatedText a #
IsString (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fromString :: String -> AnnotatedText a #
Monoid (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods mempty :: AnnotatedText a # mappend :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # mconcat :: [AnnotatedText a] -> AnnotatedText a #
Semigroup (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (<>) :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # sconcat :: NonEmpty (AnnotatedText a) -> AnnotatedText a # stimes :: Integral b => b -> AnnotatedText a -> AnnotatedText a #
Generic (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Rep (AnnotatedText a) :: Type -> Type # Methods from :: AnnotatedText a -> Rep (AnnotatedText a) x # to :: Rep (AnnotatedText a) x -> AnnotatedText a #
IsList (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Associated Types type Item (AnnotatedText a) # Methods fromList :: [Item (AnnotatedText a)] -> AnnotatedText a # fromListN :: Int -> [Item (AnnotatedText a)] -> AnnotatedText a # toList :: AnnotatedText a -> [Item (AnnotatedText a)] #
Show a => Show (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods showsPrec :: Int -> AnnotatedText a -> ShowS # show :: AnnotatedText a -> String # showList :: [AnnotatedText a] -> ShowS #
Eq a => Eq (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods (==) :: AnnotatedText a -> AnnotatedText a -> Bool # (/=) :: AnnotatedText a -> AnnotatedText a -> Bool #
Ord a => Ord (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods compare :: AnnotatedText a -> AnnotatedText a -> Ordering # (<) :: AnnotatedText a -> AnnotatedText a -> Bool # (<=) :: AnnotatedText a -> AnnotatedText a -> Bool # (>) :: AnnotatedText a -> AnnotatedText a -> Bool # (>=) :: AnnotatedText a -> AnnotatedText a -> Bool # max :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # min :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a #
ListLike (AnnotatedText a) Char Source #
Instance details Defined in Unison.Util.AnnotatedText Methods empty :: AnnotatedText a # singleton :: Char -> AnnotatedText a # cons :: Char -> AnnotatedText a -> AnnotatedText a # snoc :: AnnotatedText a -> Char -> AnnotatedText a # append :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # head :: AnnotatedText a -> Char # uncons :: AnnotatedText a -> Maybe (Char, AnnotatedText a) # last :: AnnotatedText a -> Char # tail :: AnnotatedText a -> AnnotatedText a # init :: AnnotatedText a -> AnnotatedText a # null :: AnnotatedText a -> Bool # length :: AnnotatedText a -> Int # map :: ListLike full' item' => (Char -> item') -> AnnotatedText a -> full' # rigidMap :: (Char -> Char) -> AnnotatedText a -> AnnotatedText a # reverse :: AnnotatedText a -> AnnotatedText a # intersperse :: Char -> AnnotatedText a -> AnnotatedText a # concat :: ListLike full' (AnnotatedText a) => full' -> AnnotatedText a # concatMap :: ListLike full' item' => (Char -> full') -> AnnotatedText a -> full' # rigidConcatMap :: (Char -> AnnotatedText a) -> AnnotatedText a -> AnnotatedText a # any :: (Char -> Bool) -> AnnotatedText a -> Bool # all :: (Char -> Bool) -> AnnotatedText a -> Bool # maximum :: AnnotatedText a -> Char # minimum :: AnnotatedText a -> Char # replicate :: Int -> Char -> AnnotatedText a # take :: Int -> AnnotatedText a -> AnnotatedText a # drop :: Int -> AnnotatedText a -> AnnotatedText a # splitAt :: Int -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # takeWhile :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # dropWhile :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # dropWhileEnd :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # span :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # break :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # group :: (ListLike full' (AnnotatedText a), Eq Char) => AnnotatedText a -> full' # inits :: ListLike full' (AnnotatedText a) => AnnotatedText a -> full' # tails :: ListLike full' (AnnotatedText a) => AnnotatedText a -> full' # isPrefixOf :: AnnotatedText a -> AnnotatedText a -> Bool # isSuffixOf :: AnnotatedText a -> AnnotatedText a -> Bool # isInfixOf :: AnnotatedText a -> AnnotatedText a -> Bool # stripPrefix :: AnnotatedText a -> AnnotatedText a -> Maybe (AnnotatedText a) # stripSuffix :: AnnotatedText a -> AnnotatedText a -> Maybe (AnnotatedText a) # elem :: Char -> AnnotatedText a -> Bool # notElem :: Char -> AnnotatedText a -> Bool # find :: (Char -> Bool) -> AnnotatedText a -> Maybe Char # filter :: (Char -> Bool) -> AnnotatedText a -> AnnotatedText a # partition :: (Char -> Bool) -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # index :: AnnotatedText a -> Int -> Char # elemIndex :: Char -> AnnotatedText a -> Maybe Int # elemIndices :: (Eq Char, ListLike result Int) => Char -> AnnotatedText a -> result # findIndex :: (Char -> Bool) -> AnnotatedText a -> Maybe Int # findIndices :: ListLike result Int => (Char -> Bool) -> AnnotatedText a -> result # sequence :: (Applicative m, ListLike fullinp (m Char)) => fullinp -> m (AnnotatedText a) # mapM :: (Applicative m, ListLike full' item') => (Char -> m item') -> AnnotatedText a -> m full' # rigidMapM :: Monad m => (Char -> m Char) -> AnnotatedText a -> m (AnnotatedText a) # nub :: AnnotatedText a -> AnnotatedText a # delete :: Char -> AnnotatedText a -> AnnotatedText a # deleteFirsts :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # union :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # intersect :: AnnotatedText a -> AnnotatedText a -> AnnotatedText a # sort :: AnnotatedText a -> AnnotatedText a # insert :: Char -> AnnotatedText a -> AnnotatedText a # toList' :: AnnotatedText a -> [Char] # fromList' :: [Char] -> AnnotatedText a # fromListLike :: ListLike full' Char => AnnotatedText a -> full' # nubBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a # deleteBy :: (Char -> Char -> Bool) -> Char -> AnnotatedText a -> AnnotatedText a # deleteFirstsBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # unionBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # intersectBy :: (Char -> Char -> Bool) -> AnnotatedText a -> AnnotatedText a -> AnnotatedText a # groupBy :: (ListLike full' (AnnotatedText a), Eq Char) => (Char -> Char -> Bool) -> AnnotatedText a -> full' # sortBy :: (Char -> Char -> Ordering) -> AnnotatedText a -> AnnotatedText a # insertBy :: (Char -> Char -> Ordering) -> Char -> AnnotatedText a -> AnnotatedText a # genericLength :: Num a0 => AnnotatedText a -> a0 # genericTake :: Integral a0 => a0 -> AnnotatedText a -> AnnotatedText a # genericDrop :: Integral a0 => a0 -> AnnotatedText a -> AnnotatedText a # genericSplitAt :: Integral a0 => a0 -> AnnotatedText a -> (AnnotatedText a, AnnotatedText a) # genericReplicate :: Integral a0 => a0 -> Char -> AnnotatedText a #
FoldableLL (AnnotatedText a) Char Source #
Instance details Defined in Unison.Util.AnnotatedText Methods foldl :: (a0 -> Char -> a0) -> a0 -> AnnotatedText a -> a0 # foldl' :: (a0 -> Char -> a0) -> a0 -> AnnotatedText a -> a0 # foldl1 :: (Char -> Char -> Char) -> AnnotatedText a -> Char # foldr :: (Char -> b -> b) -> b -> AnnotatedText a -> b # foldr' :: (Char -> b -> b) -> b -> AnnotatedText a -> b # foldr1 :: (Char -> Char -> Char) -> AnnotatedText a -> Char #
type Rep (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Rep (AnnotatedText a) = D1 ('MetaData "AnnotatedText" "Unison.Util.AnnotatedText" "unison-pretty-printer-0.0.0-JaQ4cM0rSg6FItGMqbm2nz" 'True) (C1 ('MetaCons "AnnotatedText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (Segment a)))))
type Item (AnnotatedText a) Source #
Instance details Defined in Unison.Util.AnnotatedText type Item (AnnotatedText a) = Char

data AnnotatedExcerpt a Source #

Constructors

AnnotatedExcerpt
Fields lineOffset :: Line text :: String annotations :: Map Range a

Instances

Instances details

Functor AnnotatedExcerpt Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fmap :: (a -> b) -> AnnotatedExcerpt a -> AnnotatedExcerpt b # (<$) :: a -> AnnotatedExcerpt b -> AnnotatedExcerpt a #
IsString (AnnotatedExcerpt a) Source #
Instance details Defined in Unison.Util.AnnotatedText Methods fromString :: String -> AnnotatedExcerpt a #

annotate' :: Maybe b -> AnnotatedText a -> AnnotatedText b Source #

deannotate :: AnnotatedText a -> AnnotatedText b Source #

annotate :: a -> AnnotatedText a -> AnnotatedText a Source #

annotateMaybe :: AnnotatedText (Maybe a) -> AnnotatedText a Source #

trailingNewLine :: AnnotatedText a -> Bool Source #

markup :: AnnotatedExcerpt a -> Map Range a -> AnnotatedExcerpt a Source #

textLength :: AnnotatedText a -> Int Source #

textEmpty :: AnnotatedText a -> Bool Source #

condensedExcerptToText :: Int -> AnnotatedExcerpt a -> AnnotatedText a Source #

excerptToText :: forall a. AnnotatedExcerpt a -> AnnotatedText a Source #

snipWithContext :: Int -> AnnotatedExcerpt a -> [AnnotatedExcerpt a] Source #