turingMachine-1.0.0.0: An implementation of Turing Machine and Automaton

Copyright(c) Jorge Santiago Alvarez Cuadros 2016
LicenseGPL-3
Maintainersanjorgek@ciencias.unam.mx
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010
Extensions
  • TypeSynonymInstances
  • FlexibleInstances

Data.Helper

Contents

Description

Auxiliar Functions

Synopsis

Set

unionsFold :: (Ord a, Foldable t) => t (Set a) -> Set a Source #

Union of set monad

setGenericSize :: Ord a => Set a -> Integer Source #

Size of a set, with large integers