module Rasa.Internal.Editor
(
Editor
, HasEditor
, editor
, buffers
, exiting
, ext
, bufExt
, nextBufId
, range
, BufRef(..)
) where
import Rasa.Internal.Buffer
import Rasa.Internal.Extensions
import Rasa.Internal.Range
import Unsafe.Coerce
import Data.Dynamic
import Data.Default
import Data.Maybe
import Data.IntMap
import Control.Lens
import qualified Yi.Rope as Y
newtype BufRef =
BufRef Int
deriving (Show, Eq)
data Editor = Editor
{ _buffers :: IntMap Buffer
, _exiting :: Bool
, _extState :: ExtMap
, _nextBufId :: Int
}
makeClassy ''Editor
instance Show Editor where
show ed =
"Buffers==============\n" ++ show (ed^.buffers) ++ "\n\n"
++ "Editor Extensions==============\n" ++ show (ed^.extState) ++ "\n\n"
++ "---\n\n"
instance Default Editor where
def =
Editor
{ _extState = def
, _buffers=empty
, _exiting=False
, _nextBufId=0
}
bufExt
:: forall a.
(Show a, Typeable a, Default a)
=> Lens' Buffer a
bufExt = lens getter setter
where
getter buf =
fromMaybe def $ buf ^. bufExts . at (typeRep (Proxy :: Proxy a)) .
mapping coerce
setter buf new =
set
(bufExts . at (typeRep (Proxy :: Proxy a)) . mapping coerce)
(Just new)
buf
coerce = iso (\(Ext x) -> unsafeCoerce x) Ext
ext
:: forall a e.
(Show a, Typeable a, Default a, HasEditor e)
=> Lens' e a
ext = lens getter setter
where
getter ed =
fromMaybe def $ ed ^. extState . at (typeRep (Proxy :: Proxy a)) .
mapping coerce
setter ed new =
set
(extState . at (typeRep (Proxy :: Proxy a)) . mapping coerce)
(Just new)
ed
coerce = iso (\(Ext x) -> unsafeCoerce x) Ext
range :: Range -> Lens' Buffer Y.YiString
range (Range start end) = lens getter setter
where getter = view (text . beforeC end . afterC start)
setter old new = old & text . beforeC end . afterC start .~ new