abcBridge-0.12: Bindings for ABC, A System for Sequential Synthesis and Verification

CopyrightGalois, Inc. 2010-2014
LicenseBSD3
Maintainerjhendrix@galois.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

Data.ABC.Internal.Field

Description

 

Synopsis

Documentation

data Field a b Source

Constructors

Field 

Fields

readAt :: a -> IO b
 
writeAt :: a -> b -> IO ()
 

isoFieldTarget :: Field a b -> Iso b c -> Field a c Source

data Iso a b Source

An isomorphism view.

iso :: (a -> b) -> (b -> a) -> Iso a b Source

Create an isomorphism