b9 0.5.50 → 0.5.51
raw patch · 5 files changed
+6/−1 lines, 5 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- B9: data ReaderT r (m :: k -> *) (a :: k) :: forall k. () => * -> k -> * -> k -> *
- B9: newtype Const a (b :: k) :: forall k. () => * -> k -> *
- Data.ConfigFile.B9Extras: instance GHC.Exception.Exception Data.ConfigFile.B9Extras.CPReadException
- System.IO.B9Extras: instance GHC.Exception.Exception System.IO.B9Extras.ConsultException
+ B9: ASTInt :: Int -> AST c a
+ B9: Ap :: f a -> Ap
+ B9: [getAp] :: Ap -> f a
+ B9: data ReaderT r (m :: k -> Type) (a :: k) :: forall k. () => Type -> k -> Type -> k -> Type
+ B9: infixl 3 <|>
+ B9: newtype Const a (b :: k) :: forall k. () => Type -> k -> Type
+ B9.Content.AST: ASTInt :: Int -> AST c a
+ Data.ConfigFile.B9Extras: instance GHC.Exception.Type.Exception Data.ConfigFile.B9Extras.CPReadException
+ System.IO.B9Extras: instance GHC.Exception.Type.Exception System.IO.B9Extras.ConsultException
- B9: (%~) :: () => ASetter s t a b -> a -> b -> s -> t
+ B9: (%~) :: () => ASetter s t a b -> (a -> b) -> s -> t
- B9: (&) :: () => a -> a -> b -> b
+ B9: (&) :: () => a -> (a -> b) -> b
- B9: (<$!>) :: Monad m => a -> b -> m a -> m b
+ B9: (<$!>) :: Monad m => (a -> b) -> m a -> m b
- B9: (<$>) :: Functor f => a -> b -> f a -> f b
+ B9: (<$>) :: Functor f => (a -> b) -> f a -> f b
- B9: (<**>) :: Applicative f => f a -> f a -> b -> f b
+ B9: (<**>) :: Applicative f => f a -> f (a -> b) -> f b
- B9: (<*>) :: Applicative f => f a -> b -> f a -> f b
+ B9: (<*>) :: Applicative f => f (a -> b) -> f a -> f b
- B9: (<=<) :: Monad m => b -> m c -> a -> m b -> a -> m c
+ B9: (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
- B9: (=<<) :: Monad m => a -> m b -> m a -> m b
+ B9: (=<<) :: Monad m => (a -> m b) -> m a -> m b
- B9: (>=>) :: Monad m => a -> m b -> b -> m c -> a -> m c
+ B9: (>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
- B9: (>>=) :: Monad m => m a -> a -> m b -> m b
+ B9: (>>=) :: Monad m => m a -> (a -> m b) -> m b
- B9: Endo :: a -> a -> Endo a
+ B9: Endo :: (a -> a) -> Endo a
- B9: RenderErlang :: (AST Content ErlangPropList) -> Content
+ B9: RenderErlang :: AST Content ErlangPropList -> Content
- B9: RenderYaml :: (AST Content YamlObject) -> Content
+ B9: RenderYaml :: AST Content YamlObject -> Content
- B9: all :: Foldable t => a -> Bool -> t a -> Bool
+ B9: all :: Foldable t => (a -> Bool) -> t a -> Bool
- B9: any :: Foldable t => a -> Bool -> t a -> Bool
+ B9: any :: Foldable t => (a -> Bool) -> t a -> Bool
- B9: ap :: Monad m => m a -> b -> m a -> m b
+ B9: ap :: Monad m => m (a -> b) -> m a -> m b
- B9: break :: () => a -> Bool -> [a] -> ([a], [a])
+ B9: break :: () => (a -> Bool) -> [a] -> ([a], [a])
- B9: class Applicative f => Alternative (f :: * -> *)
+ B9: class Applicative f => Alternative (f :: Type -> Type)
- B9: class Functor f => Applicative (f :: * -> *)
+ B9: class Functor f => Applicative (f :: Type -> Type)
- B9: class Functor (f :: * -> *)
+ B9: class Functor (f :: Type -> Type)
- B9: class Applicative m => Monad (m :: * -> *)
+ B9: class Applicative m => Monad (m :: Type -> Type)
- B9: class Monad m => MonadIO (m :: * -> *)
+ B9: class Monad m => MonadIO (m :: Type -> Type)
- B9: class (Alternative m, Monad m) => MonadPlus (m :: * -> *)
+ B9: class (Alternative m, Monad m) => MonadPlus (m :: Type -> Type)
- B9: concatMap :: Foldable t => a -> [b] -> t a -> [b]
+ B9: concatMap :: Foldable t => (a -> [b]) -> t a -> [b]
- B9: deleteBy :: () => a -> a -> Bool -> a -> [a] -> [a]
+ B9: deleteBy :: () => (a -> a -> Bool) -> a -> [a] -> [a]
- B9: deleteFirstsBy :: () => a -> a -> Bool -> [a] -> [a] -> [a]
+ B9: deleteFirstsBy :: () => (a -> a -> Bool) -> [a] -> [a] -> [a]
- B9: dropWhile :: () => a -> Bool -> [a] -> [a]
+ B9: dropWhile :: () => (a -> Bool) -> [a] -> [a]
- B9: dropWhileEnd :: () => a -> Bool -> [a] -> [a]
+ B9: dropWhileEnd :: () => (a -> Bool) -> [a] -> [a]
- B9: filter :: () => a -> Bool -> [a] -> [a]
+ B9: filter :: () => (a -> Bool) -> [a] -> [a]
- B9: filterM :: Applicative m => a -> m Bool -> [a] -> m [a]
+ B9: filterM :: Applicative m => (a -> m Bool) -> [a] -> m [a]
- B9: find :: Foldable t => a -> Bool -> t a -> Maybe a
+ B9: find :: Foldable t => (a -> Bool) -> t a -> Maybe a
- B9: findIndex :: () => a -> Bool -> [a] -> Maybe Int
+ B9: findIndex :: () => (a -> Bool) -> [a] -> Maybe Int
- B9: findIndices :: () => a -> Bool -> [a] -> [Int]
+ B9: findIndices :: () => (a -> Bool) -> [a] -> [Int]
- B9: fmap :: Functor f => a -> b -> f a -> f b
+ B9: fmap :: Functor f => (a -> b) -> f a -> f b
- B9: foldM :: (Foldable t, Monad m) => b -> a -> m b -> b -> t a -> m b
+ B9: foldM :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
- B9: foldM_ :: (Foldable t, Monad m) => b -> a -> m b -> b -> t a -> m ()
+ B9: foldM_ :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m ()
- B9: foldl :: Foldable t => b -> a -> b -> b -> t a -> b
+ B9: foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b
- B9: foldl' :: Foldable t => b -> a -> b -> b -> t a -> b
+ B9: foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b
- B9: foldl1 :: Foldable t => a -> a -> a -> t a -> a
+ B9: foldl1 :: Foldable t => (a -> a -> a) -> t a -> a
- B9: foldl1' :: () => a -> a -> a -> [a] -> a
+ B9: foldl1' :: () => (a -> a -> a) -> [a] -> a
- B9: foldr :: Foldable t => a -> b -> b -> b -> t a -> b
+ B9: foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b
- B9: foldr1 :: Foldable t => a -> a -> a -> t a -> a
+ B9: foldr1 :: Foldable t => (a -> a -> a) -> t a -> a
- B9: forM :: (Traversable t, Monad m) => t a -> a -> m b -> m t b
+ B9: forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
- B9: forM_ :: (Foldable t, Monad m) => t a -> a -> m b -> m ()
+ B9: forM_ :: (Foldable t, Monad m) => t a -> (a -> m b) -> m ()
- B9: fromAST :: (ASTish a, (CanRender c)) => AST c a -> ReaderT Environment B9 a
+ B9: fromAST :: (ASTish a, CanRender c) => AST c a -> ReaderT Environment B9 a
- B9: groupBy :: () => a -> a -> Bool -> [a] -> [[a]]
+ B9: groupBy :: () => (a -> a -> Bool) -> [a] -> [[a]]
- B9: insertBy :: () => a -> a -> Ordering -> a -> [a] -> [a]
+ B9: insertBy :: () => (a -> a -> Ordering) -> a -> [a] -> [a]
- B9: intersectBy :: () => a -> a -> Bool -> [a] -> [a] -> [a]
+ B9: intersectBy :: () => (a -> a -> Bool) -> [a] -> [a] -> [a]
- B9: iterate :: () => a -> a -> a -> [a]
+ B9: iterate :: () => (a -> a) -> a -> [a]
- B9: iterate' :: () => a -> a -> a -> [a]
+ B9: iterate' :: () => (a -> a) -> a -> [a]
- B9: join :: Monad m => m m a -> m a
+ B9: join :: Monad m => m (m a) -> m a
- B9: liftA :: Applicative f => a -> b -> f a -> f b
+ B9: liftA :: Applicative f => (a -> b) -> f a -> f b
- B9: liftA2 :: Applicative f => a -> b -> c -> f a -> f b -> f c
+ B9: liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
- B9: liftA3 :: Applicative f => a -> b -> c -> d -> f a -> f b -> f c -> f d
+ B9: liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
- B9: liftM :: Monad m => a1 -> r -> m a1 -> m r
+ B9: liftM :: Monad m => (a1 -> r) -> m a1 -> m r
- B9: liftM2 :: Monad m => a1 -> a2 -> r -> m a1 -> m a2 -> m r
+ B9: liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
- B9: liftM3 :: Monad m => a1 -> a2 -> a3 -> r -> m a1 -> m a2 -> m a3 -> m r
+ B9: liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
- B9: liftM4 :: Monad m => a1 -> a2 -> a3 -> a4 -> r -> m a1 -> m a2 -> m a3 -> m a4 -> m r
+ B9: liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r
- B9: liftM5 :: Monad m => a1 -> a2 -> a3 -> a4 -> a5 -> r -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
+ B9: liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
- B9: local :: MonadReader r m => r -> r -> m a -> m a
+ B9: local :: MonadReader r m => (r -> r) -> m a -> m a
- B9: map :: () => a -> b -> [a] -> [b]
+ B9: map :: () => (a -> b) -> [a] -> [b]
- B9: mapAccumL :: Traversable t => a -> b -> (a, c) -> a -> t b -> (a, t c)
+ B9: mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
- B9: mapAccumR :: Traversable t => a -> b -> (a, c) -> a -> t b -> (a, t c)
+ B9: mapAccumR :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)
- B9: mapAndUnzipM :: Applicative m => a -> m (b, c) -> [a] -> m ([b], [c])
+ B9: mapAndUnzipM :: Applicative m => (a -> m (b, c)) -> [a] -> m ([b], [c])
- B9: mapM :: (Traversable t, Monad m) => a -> m b -> t a -> m t b
+ B9: mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
- B9: mapM_ :: (Foldable t, Monad m) => a -> m b -> t a -> m ()
+ B9: mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()
- B9: mapMaybe :: () => a -> Maybe b -> [a] -> [b]
+ B9: mapMaybe :: () => (a -> Maybe b) -> [a] -> [b]
- B9: maximumBy :: Foldable t => a -> a -> Ordering -> t a -> a
+ B9: maximumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a
- B9: maybe :: () => b -> a -> b -> Maybe a -> b
+ B9: maybe :: () => b -> (a -> b) -> Maybe a -> b
- B9: mfilter :: MonadPlus m => a -> Bool -> m a -> m a
+ B9: mfilter :: MonadPlus m => (a -> Bool) -> m a -> m a
- B9: minimumBy :: Foldable t => a -> a -> Ordering -> t a -> a
+ B9: minimumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a
- B9: msum :: (Foldable t, MonadPlus m) => t m a -> m a
+ B9: msum :: (Foldable t, MonadPlus m) => t (m a) -> m a
- B9: newtype WrappedArrow (a :: * -> * -> *) b c
+ B9: newtype WrappedArrow (a :: Type -> Type -> Type) b c
- B9: newtype WrappedMonad (m :: * -> *) a
+ B9: newtype WrappedMonad (m :: Type -> Type) a
- B9: newtype Alt (f :: k -> *) (a :: k) :: forall k. () => k -> * -> k -> *
+ B9: newtype Alt (f :: k -> Type) (a :: k) :: forall k. () => k -> Type -> k -> Type
- B9: nubBy :: () => a -> a -> Bool -> [a] -> [a]
+ B9: nubBy :: () => (a -> a -> Bool) -> [a] -> [a]
- B9: optional :: Alternative f => f a -> f Maybe a
+ B9: optional :: Alternative f => f a -> f (Maybe a)
- B9: partition :: () => a -> Bool -> [a] -> ([a], [a])
+ B9: partition :: () => (a -> Bool) -> [a] -> ([a], [a])
- B9: scanl :: () => b -> a -> b -> b -> [a] -> [b]
+ B9: scanl :: () => (b -> a -> b) -> b -> [a] -> [b]
- B9: scanl' :: () => b -> a -> b -> b -> [a] -> [b]
+ B9: scanl' :: () => (b -> a -> b) -> b -> [a] -> [b]
- B9: scanl1 :: () => a -> a -> a -> [a] -> [a]
+ B9: scanl1 :: () => (a -> a -> a) -> [a] -> [a]
- B9: scanr :: () => a -> b -> b -> b -> [a] -> [b]
+ B9: scanr :: () => (a -> b -> b) -> b -> [a] -> [b]
- B9: scanr1 :: () => a -> a -> a -> [a] -> [a]
+ B9: scanr1 :: () => (a -> a -> a) -> [a] -> [a]
- B9: sequence :: (Traversable t, Monad m) => t m a -> m t a
+ B9: sequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
- B9: sequence_ :: (Foldable t, Monad m) => t m a -> m ()
+ B9: sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()
- B9: sortBy :: () => a -> a -> Ordering -> [a] -> [a]
+ B9: sortBy :: () => (a -> a -> Ordering) -> [a] -> [a]
- B9: sortOn :: Ord b => a -> b -> [a] -> [a]
+ B9: sortOn :: Ord b => (a -> b) -> [a] -> [a]
- B9: span :: () => a -> Bool -> [a] -> ([a], [a])
+ B9: span :: () => (a -> Bool) -> [a] -> ([a], [a])
- B9: takeWhile :: () => a -> Bool -> [a] -> [a]
+ B9: takeWhile :: () => (a -> Bool) -> [a] -> [a]
- B9: type Lens s t a b = forall (f :: * -> *). Functor f => a -> f b -> s -> f t
+ B9: type Lens s t a b = forall (f :: Type -> Type). Functor f => a -> f b -> s -> f t
- B9: unfoldr :: () => b -> Maybe (a, b) -> b -> [a]
+ B9: unfoldr :: () => (b -> Maybe (a, b)) -> b -> [a]
- B9: unionBy :: () => a -> a -> Bool -> [a] -> [a] -> [a]
+ B9: unionBy :: () => (a -> a -> Bool) -> [a] -> [a] -> [a]
- B9: zipWith :: () => a -> b -> c -> [a] -> [b] -> [c]
+ B9: zipWith :: () => (a -> b -> c) -> [a] -> [b] -> [c]
- B9: zipWith3 :: () => a -> b -> c -> d -> [a] -> [b] -> [c] -> [d]
+ B9: zipWith3 :: () => (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
- B9: zipWith4 :: () => a -> b -> c -> d -> e -> [a] -> [b] -> [c] -> [d] -> [e]
+ B9: zipWith4 :: () => (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]
- B9: zipWith5 :: () => a -> b -> c -> d -> e -> f -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
+ B9: zipWith5 :: () => (a -> b -> c -> d -> e -> f) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]
- B9: zipWith6 :: () => a -> b -> c -> d -> e -> f -> g -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
+ B9: zipWith6 :: () => (a -> b -> c -> d -> e -> f -> g) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]
- B9: zipWith7 :: () => a -> b -> c -> d -> e -> f -> g -> h -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
+ B9: zipWith7 :: () => (a -> b -> c -> d -> e -> f -> g -> h) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]
- B9: zipWithM :: Applicative m => a -> b -> m c -> [a] -> [b] -> m [c]
+ B9: zipWithM :: Applicative m => (a -> b -> m c) -> [a] -> [b] -> m [c]
- B9: zipWithM_ :: Applicative m => a -> b -> m c -> [a] -> [b] -> m ()
+ B9: zipWithM_ :: Applicative m => (a -> b -> m c) -> [a] -> [b] -> m ()
- B9.Content.AST: fromAST :: (ASTish a, (CanRender c)) => AST c a -> ReaderT Environment B9 a
+ B9.Content.AST: fromAST :: (ASTish a, CanRender c) => AST c a -> ReaderT Environment B9 a
- B9.Content.Generator: RenderErlang :: (AST Content ErlangPropList) -> Content
+ B9.Content.Generator: RenderErlang :: AST Content ErlangPropList -> Content
- B9.Content.Generator: RenderYaml :: (AST Content YamlObject) -> Content
+ B9.Content.Generator: RenderYaml :: AST Content YamlObject -> Content
- Data.ConfigFile.B9Extras: setCP :: (MonadError CPError m) => CPDocument -> CPSectionSpec -> CPOptionSpec -> String -> m CPDocument
+ Data.ConfigFile.B9Extras: setCP :: MonadError CPError m => CPDocument -> CPSectionSpec -> CPOptionSpec -> String -> m CPDocument
Files
- CONTRIBUTORS +2/−0
- b9.cabal +1/−1
- src/lib/B9/Content/AST.hs +1/−0
- src/lib/B9/Content/ErlangPropList.hs +1/−0
- src/lib/B9/Content/YamlObject.hs +1/−0
CONTRIBUTORS view
@@ -1,3 +1,5 @@ Sven Heyll <svh@posteo.de> lti2000 rusio+sainth+
b9.cabal view
@@ -1,5 +1,5 @@ name: b9-version: 0.5.50+version: 0.5.51 synopsis: A tool and library for building virtual machine images.
src/lib/B9/Content/AST.hs view
@@ -68,6 +68,7 @@ -- fields in yaml objects. ASTEmbed c -- Embed some pure content. | ASTString String -- A string literal.+ | ASTInt Int -- An Int literal. | ASTParse SourceFile -- An 'AST' obtained from parsing a source -- file that contains a string corresponding |
src/lib/B9/Content/ErlangPropList.hs view
@@ -103,6 +103,7 @@ return x') xs fromAST (ASTString s) = pure $ ErlangPropList $ ErlString s+ fromAST (ASTInt i) = pure $ ErlangPropList $ ErlString (show i) fromAST (ASTEmbed c) = ErlangPropList . ErlString . T.unpack . E.decodeUtf8 <$> render c fromAST (ASTMerge []) =
src/lib/B9/Content/YamlObject.hs view
@@ -109,6 +109,7 @@ ASTEmbed c -> YamlObject . toJSON . T.unpack . E.decodeUtf8 <$> render c ASTString str -> return (YamlObject (toJSON str))+ ASTInt int -> return (YamlObject (toJSON int)) ASTParse src@(Source _ srcPath) -> do c <- readTemplateFile src case decodeSyntax srcPath c of