Verismith.Circuit.Base

Description

Base types for the circuit module.

Synopsis

Documentation

The types for all the gates.

Constructors

Instances

Bounded Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods minBound :: Gate # maxBound :: Gate #
Enum Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods succ :: Gate -> Gate # pred :: Gate -> Gate # toEnum :: Int -> Gate # fromEnum :: Gate -> Int # enumFrom :: Gate -> [Gate] # enumFromThen :: Gate -> Gate -> [Gate] # enumFromTo :: Gate -> Gate -> [Gate] # enumFromThenTo :: Gate -> Gate -> Gate -> [Gate] #
Eq Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods (==) :: Gate -> Gate -> Bool # (/=) :: Gate -> Gate -> Bool #
Ord Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods compare :: Gate -> Gate -> Ordering # (<) :: Gate -> Gate -> Bool # (<=) :: Gate -> Gate -> Bool # (>) :: Gate -> Gate -> Bool # (>=) :: Gate -> Gate -> Bool # max :: Gate -> Gate -> Gate # min :: Gate -> Gate -> Gate #
Show Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods showsPrec :: Int -> Gate -> ShowS # show :: Gate -> String # showList :: [Gate] -> ShowS #
Random Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods randomR :: RandomGen g => (Gate, Gate) -> g -> (Gate, g) # random :: RandomGen g => g -> (Gate, g) # randomRs :: RandomGen g => (Gate, Gate) -> g -> [Gate] # randoms :: RandomGen g => g -> [Gate] # randomRIO :: (Gate, Gate) -> IO Gate # randomIO :: IO Gate #

Newtype for the Circuit which implements a Graph from fgl.

Constructors

Circuit
Fields getCircuit :: Gr Gate ()

Newtype for a node in the circuit, which is an 'LNode Gate'.

Constructors

CNode
Fields getCNode :: LNode Gate

Newtype for a named edge which is empty, as it does not need a label.

Constructors

CEdge
Fields getCEdge :: LEdge ()