Contents Index

Interface

Documentation

class Typeable a => Interfaced a where

Methods interfaces :: a -> [Interface] Instances Interfaced Action Interfaced Int Interfaced IsabelleFile Interfaced KFormula Interfaced NoProof Interfaced (Derivation KProg) Interfaced (Refines KProg)

data Interface

Constructors forall interface . Typeable interface => Interface interface

getInterface :: (Interfaced a, Typeable interface) => a -> Maybe interface

Produced by Haddock version 0.8