boltzmann-brain-1.4: Boltzmann sampler compiler for combinatorial systems.

Copyright(c) Maciej Bendkowski 2017-2018
LicenseBSD3
Maintainermaciej.bendkowski@tcs.uj.edu.pl
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.Boltzmann.System.Errors

Description

Common error utilities for combinatorial systems.

Synopsis

Documentation

errors :: Bool -> System Int -> IO SystemType Source #

Checks whether the given input system is correct, yielding its type. Otherwise, terminate with an appropriate system error message.