diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
| commit | fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 (patch) | |
| tree | 673439d49fa095bf3ae9b7bbbca5f30d7ff20838 /src/VeriFuzz/Internal/Circuit.hs | |
| parent | c0c799ab3f79c370e4c33b8f824489ce8b1c96ec (diff) | |
| download | verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.tar.gz verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.zip | |
Large refactor with passing tests
Diffstat (limited to 'src/VeriFuzz/Internal/Circuit.hs')
| -rw-r--r-- | src/VeriFuzz/Internal/Circuit.hs | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/VeriFuzz/Internal/Circuit.hs b/src/VeriFuzz/Internal/Circuit.hs deleted file mode 100644 index 832d0a4..0000000 --- a/src/VeriFuzz/Internal/Circuit.hs +++ /dev/null @@ -1,38 +0,0 @@ -{-| -Module : VeriFuzz.Internal.Circuit -Description : Internal helpers for generation. -Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Internal helpers for generation. --} - -module VeriFuzz.Internal.Circuit where - -import Data.Graph.Inductive (Graph, Node) -import qualified Data.Graph.Inductive as G -import qualified Data.Text as T - -fromNode :: Int -> T.Text -fromNode node = T.pack $ "w" <> show node - -filterGr :: (Graph gr) => gr n e -> (Node -> Bool) -> [Node] -filterGr graph f = filter f $ G.nodes graph - -only - :: (Graph gr) - => gr n e - -> (gr n e -> Node -> Int) - -> (gr n e -> Node -> Int) - -> Node - -> Bool -only graph fun1 fun2 n = fun1 graph n == 0 && fun2 graph n /= 0 - -inputs :: (Graph gr) => gr n e -> [Node] -inputs graph = filterGr graph $ only graph G.indeg G.outdeg - -outputs :: (Graph gr) => gr n e -> [Node] -outputs graph = filterGr graph $ only graph G.outdeg G.indeg |