Verismith.Tool.Identity

Description

The identity simulator and synthesiser.

Documentation

Constructors

Identity
Fields identityDesc :: !Text identityOutput :: !FilePath

Instances details

Show Identity Source #
Instance details Defined in Verismith.Tool.Identity Methods showsPrec :: Int -> Identity -> ShowS # show :: Identity -> String # showList :: [Identity] -> ShowS #
NFData Identity Source #
Instance details Defined in Verismith.Tool.Identity Methods rnf :: Identity -> () #
Eq Identity Source #
Instance details Defined in Verismith.Tool.Identity Methods (==) :: Identity -> Identity -> Bool # (/=) :: Identity -> Identity -> Bool #
Synthesiser Identity Source #
Instance details Defined in Verismith.Tool.Identity Methods runSynth :: Show ann => Identity -> SourceInfo ann -> ResultSh () Source # synthOutput :: Identity -> FilePath Source # setSynthOutput :: Identity -> FilePath -> Identity Source #
Tool Identity Source #
Instance details Defined in Verismith.Tool.Identity Methods toText :: Identity -> Text Source #