dhscanner-kbgen 1.0.3 → 1.0.4

raw patch · 2 files changed

+12/−11 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• dhscanner-kbgen.cabal +9/−9
• src/Kbgen.hs +3/−2

@@ -6,34 +6,34 @@ 
     * The [knowledge base](https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning) ( kb )
       aims to be a data structure able to:
-    
+
         * represent /multiple/ facts about the source code repo
         * from /various/ programming languages
         * each fact can be translated to a [Prolog](https://en.wikipedia.org/wiki/Prolog) fact
         * facts can be combined to create [predicates](https://en.wikipedia.org/wiki/Predicate_%28logic%29)
         * predictaes can be combined to formulate /security queries/
-    
+
     * [Prolog](https://en.wikipedia.org/wiki/Prolog) facts describe relations between:
-    
+
         * code locations
         * const strings
         * const integers
-    
+
     * [Prolog](https://en.wikipedia.org/wiki/Prolog) facts can be /combined/:
-    
+
         * create /expressive/ queries from /simple/ facts
         * [conjunction](https://en.wikipedia.org/wiki/Logical_conjunction)
         * [disjunction](https://en.wikipedia.org/wiki/Logical_disjunction)
         * [negation](https://en.wikipedia.org/wiki/Negation)
-    
+
     * [Prolog](https://en.wikipedia.org/wiki/Prolog) queries are /easy/ to write:
-    
+
         * you /don't/ have to be a Prolog expert
         * copy-paste the basic facts to /any/ [LLM](https://en.wikipedia.org/wiki/Large_language_model)
         * explain in plain English your query's purpose
         * et voilà !
-    
-version:            1.0.3
+
+version:            1.0.4
 license:            GPL-3.0-only
 license-file:       LICENSE
 author:             OrenGitHub

@@ -70,6 +70,7 @@     Param(..),
     Class(..),
     Call(..),
+    Callable(..),
     Keyword(..),
     Resolved(..),
     Arg(..),
@@ -100,7 +101,7 @@ -- @
 -- kb_keyword_arg_for_call( Keyword, Arg, Call ).
 -- @
--- 
+--
 -- __When should I use this fact__ ( motivation: [CVE-2024-52803](https://nvd.nist.gov/vuln/detail/CVE-2024-52803) )
 --
 -- Code snippet ( Python ):
@@ -280,7 +281,7 @@ --
 data ParamName = ParamName
     Param -- ^
-    Token.ParamName -- ^ 
+    Token.ParamName -- ^
     deriving ( Show, Generic, ToJSON, FromJSON )
 
 -- |