Yi.Prelude

Contents

• Conversions to Rope
• Conversions from Rope
• List-like functions
• IO
• Low level functions

Synopsis

• (<>) :: Monoid a => a -> a -> a
• (++) :: [a] -> [a] -> [a]
• (=<<) :: Monad m => (a -> m b) -> m a -> m b
• (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
• ($!) :: (a -> b) -> a -> b
• data Double
• class Binary t
• data Char
• data Either a b
  • = Left a
  • | Right b
• type Endom a = a -> a
• class Eq a where
  • (==) :: a -> a -> Bool
  • (/=) :: a -> a -> Bool
• class Num a => Fractional a where
  • (/) :: a -> a -> a
  • recip :: a -> a
  • fromRational :: Rational -> a
• class Functor f where
  • fmap :: (a -> b) -> f a -> f b
• data IO a
• class Initializable a where
  • initial :: a
• data Integer
• class (Real a, Enum a) => Integral a where
  • quot :: a -> a -> a
  • rem :: a -> a -> a
  • div :: a -> a -> a
  • mod :: a -> a -> a
  • quotRem :: a -> a -> (a, a)
  • divMod :: a -> a -> (a, a)
  • toInteger :: a -> Integer
• class Bounded a where
  • minBound :: a
  • maxBound :: a
• class Enum a where
  • succ :: a -> a
  • pred :: a -> a
  • toEnum :: Int -> a
  • fromEnum :: a -> Int
  • enumFrom :: a -> [a]
  • enumFromThen :: a -> a -> [a]
  • enumFromTo :: a -> a -> [a]
  • enumFromThenTo :: a -> a -> a -> [a]
• data Maybe a
  • = Nothing
  • | Just a
• class Monad m where
  • (>>=) :: m a -> (a -> m b) -> m b
  • (>>) :: m a -> m b -> m b
  • return :: a -> m a
  • fail :: String -> m a
• class Num a where
  • (+) :: a -> a -> a
  • (*) :: a -> a -> a
  • (-) :: a -> a -> a
  • negate :: a -> a
  • abs :: a -> a
  • signum :: a -> a
  • fromInteger :: Integer -> a
• class Eq a => Ord a where
  • compare :: a -> a -> Ordering
  • (<) :: a -> a -> Bool
  • (>=) :: a -> a -> Bool
  • (>) :: a -> a -> Bool
  • (<=) :: a -> a -> Bool
  • max :: a -> a -> a
  • min :: a -> a -> a
• class Read a where
  • readsPrec :: Int -> ReadS a
  • readList :: ReadS [a]
• class (Num a, Ord a) => Real a where
  • toRational :: a -> Rational
• class (Real a, Fractional a) => RealFrac a where
  • properFraction :: Integral b => a -> (b, a)
  • truncate :: Integral b => a -> b
  • round :: Integral b => a -> b
  • ceiling :: Integral b => a -> b
  • floor :: Integral b => a -> b
• newtype ReaderT r m a = ReaderT {
  • runReaderT :: r -> m a
  }
• class SemiNum absolute relative | absolute -> relative where
  • (+~) :: absolute -> relative -> absolute
  • (-~) :: absolute -> relative -> absolute
  • (~-) :: absolute -> absolute -> relative
• type String = [Char]
• class Typeable a
• commonPrefix :: Eq a => [[a]] -> [a]
• discard :: Functor f => f a -> f ()
• dummyPut :: a -> Put
• dummyGet :: Initializable a => Get a
• every :: Traversable t => Accessor whole part -> Accessor (t whole) (t part)
• findPL :: (a -> Bool) -> [a] -> Maybe (PointedList a)
• focusA :: Accessor (PointedList a) a
• fromIntegral :: (Integral a, Num b) => a -> b
• fst :: (a, b) -> a
• fst3 :: (a, b, c) -> a
• groupBy' :: (a -> a -> Bool) -> [a] -> [[a]]
• list :: b -> (a -> [a] -> b) -> [a] -> b
• head :: [a] -> a
• init :: [a] -> [a]
• io :: MonadIO m => IO a -> m a
• last :: [a] -> a
• lookup :: Eq a => a -> [(a, b)] -> Maybe b
• mapAdjust' :: Ord k => (a -> a) -> k -> Map k a -> Map k a
• mapAlter' :: Ord k => (Maybe a -> Maybe a) -> k -> Map k a -> Map k a
• mapFromFoldable :: (Foldable t, Ord k) => t (k, a) -> Map k a
• module Data.Accessor
• module Data.Accessor.Monad.MTL.State
• putA :: MonadState r m => T r a -> a -> m ()
• getA :: MonadState r m => T r a -> m a
• modA :: MonadState r m => T r a -> (a -> a) -> m ()
• data Rope
• fromString :: String -> Rope
• toString :: Rope -> String
• toReverseString :: Rope -> String
• null :: Rope -> Bool
• empty :: Rope
• take :: Int -> Rope -> Rope
• drop :: Int -> Rope -> Rope
• length :: Rope -> Int
• reverse :: Rope -> Rope
• countNewLines :: Rope -> Int
• split :: Word8 -> Rope -> [Rope]
• splitAt :: Int -> Rope -> (Rope, Rope)
• splitAtLine :: Int -> Rope -> (Rope, Rope)
• append :: Rope -> Rope -> Rope
• concat :: [Rope] -> Rope
• readFile :: FilePath -> IO Rope
• writeFile :: FilePath -> Rope -> IO ()
• splitAtChunkBefore :: Int -> Rope -> (Rope, Rope)
• module Yi.Debug
• module Yi.Monad
• nubSet :: Ord a => [a] -> [a]
• null :: [a] -> Bool
• print :: Show a => a -> IO ()
• putStrLn :: String -> IO ()
• replicate :: Int -> a -> [a]
• read :: Read a => String -> a
• seq :: a -> b -> b
• singleton :: a -> [a]
• snd :: (a, b) -> b
• snd3 :: (a, b, c) -> b
• swapFocus :: (PointedList a -> PointedList a) -> PointedList a -> PointedList a
• tail :: [a] -> [a]
• trd3 :: (a, b, c) -> c
• undefined :: a
• unlines :: [String] -> String
• when :: Monad m => Bool -> m () -> m ()
• writeFile :: FilePath -> String -> IO ()

Documentation