Safe Haskell	None
Language	Haskell2010

Language.Haskell.LSP.Capture

Documentation

data Event Source #

Constructors

FromClient !UTCTime !FromClientMessage
FromServer !UTCTime !FromServerMessage

Instances

Instances details

Eq Event Source #
Instance details Defined in Language.Haskell.LSP.Capture Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
Show Event Source #
Instance details Defined in Language.Haskell.LSP.Capture Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Generic Event Source #
Instance details Defined in Language.Haskell.LSP.Capture Associated Types type Rep Event :: Type -> Type # Methods from :: Event -> Rep Event x # to :: Rep Event x -> Event #
ToJSON Event Source #
Instance details Defined in Language.Haskell.LSP.Capture Methods toJSON :: Event -> Value # toEncoding :: Event -> Encoding # toJSONList :: [Event] -> Value # toEncodingList :: [Event] -> Encoding #
FromJSON Event Source #
Instance details Defined in Language.Haskell.LSP.Capture Methods parseJSON :: Value -> Parser Event # parseJSONList :: Value -> Parser [Event] #
type Rep Event Source #
Instance details Defined in Language.Haskell.LSP.Capture type Rep Event = D1 ('MetaData "Event" "Language.Haskell.LSP.Capture" "haskell-lsp-0.24.0.0-LVfKxvXUx0cKr9dOzslJBJ" 'False) (C1 ('MetaCons "FromClient" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FromClientMessage)) :+: C1 ('MetaCons "FromServer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FromServerMessage)))

data CaptureContext Source #

noCapture :: CaptureContext Source #

captureToFile :: FilePath -> IO CaptureContext Source #

captureFromClient :: FromClientMessage -> CaptureContext -> IO () Source #

captureFromServer :: FromServerMessage -> CaptureContext -> IO () Source #