Documentation

equalling :: Eq a => (t -> a) -> t -> t -> Bool Source #

executes :: forall (m :: Type -> Type) s t. (Alternative m, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, Ord s, Ord t, OutputCapable m, Show s, Show t) => FilePath -> GraphvizCommand -> Net s t -> [t] -> LangM' m (Either Int (State s)) Source #

executeIO :: forall (m :: Type -> Type) a k. (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m, Ord a, Ord k, OutputCapable m, Show a, Show k) => FilePath -> GraphvizCommand -> Net k a -> a -> State k -> LangM' m (State k) Source #

execute :: forall (m :: Type -> Type) a k. (Monad m, Ord a, Ord k, OutputCapable m, Show a, Show k) => Net k a -> a -> State k -> LangM' m (State k) Source #

successors :: Ord s => Net s t -> State s -> [(t, State s)] Source #

change :: Ord s => (Int -> Int) -> [s] -> State s -> State s Source #