Library.hs

module Funcons.Core.Library (
    funcons, entities, types,
   module Funcons.Core.Computations.Sorts,
   module Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight,
   module Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic,
   module Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While,
   module Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile,
   module Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Stuck,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference,
   module Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed,
   module Funcons.Core.Computations.DataFlow.Interacting.PrintList,
   module Funcons.Core.Computations.DataFlow.Interacting.Print,
   module Funcons.Core.Computations.DataFlow.Interacting.StandardOut,
   module Funcons.Core.Computations.DataFlow.Interacting.Read,
   module Funcons.Core.Computations.DataFlow.Interacting.StandardIn,
   module Funcons.Core.Computations.DataFlow.Effect,
   module Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap,
   module Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign,
   module Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned,
   module Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector,
   module Funcons.Core.Computations.DataFlow.Storing.Stores,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable,
   module Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign,
   module Funcons.Core.Computations.DataFlow.Storing.Store,
   module Funcons.Core.Computations.DataFlow.Storing.Variables,
   module Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink,
   module Funcons.Core.Computations.DataFlow.Linking.AllocateLink,
   module Funcons.Core.Computations.DataFlow.Linking.FollowIfLink,
   module Funcons.Core.Computations.DataFlow.Linking.LinkStore,
   module Funcons.Core.Computations.DataFlow.Linking.Links,
   module Funcons.Core.Computations.DataFlow.Linking.FollowLink,
   module Funcons.Core.Computations.DataFlow.Linking.LinkStores,
   module Funcons.Core.Computations.DataFlow.Linking.SetLink,
   module Funcons.Core.Computations.DataFlow.Giving.Given,
   module Funcons.Core.Computations.DataFlow.Giving.Give,
   module Funcons.Core.Computations.DataFlow.Giving.GivenValue,
   module Funcons.Core.Computations.DataFlow.Generating.AtomGenerator,
   module Funcons.Core.Computations.DataFlow.Generating.FreshAtom,
   module Funcons.Core.Computations.DataFlow.Generating.FreshBinder,
   module Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive,
   module Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively,
   module Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively,
   module Funcons.Core.Computations.DataFlow.Binding.Bound,
   module Funcons.Core.Computations.DataFlow.Binding.Environments,
   module Funcons.Core.Computations.DataFlow.Binding.Scope,
   module Funcons.Core.Computations.DataFlow.Binding.Accumulate,
   module Funcons.Core.Computations.DataFlow.Binding.Bind,
   module Funcons.Core.Computations.DataFlow.Binding.Environment,
   module Funcons.Core.Values.Types,
   module Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs,
   module Funcons.Core.Values.CompositeValues.Collections.Tuples,
   module Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants,
   module Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records,
   module Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References,
   module Funcons.Core.Values.PrimitiveValues.UnitType,
   module Funcons.Core.Values.PrimitiveValues.UnicodeCharacters,
   module Funcons.Core.Values.PrimitiveValues.Bits,
   module Funcons.Core.Values.PrimitiveValues.Strings,
   module Funcons.Core.Values.PrimitiveValues.Numbers.Integers,
   module Funcons.Core.Values.PrimitiveValues.Numbers.Rationals,
   module Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats,
   module Funcons.Core.Values.PrimitiveValues.Booleans,
   module Funcons.Core.Abstractions.Closures.Close,
   module Funcons.Core.Abstractions.Closures.Closure,
   module Funcons.Core.Abstractions.Patterns.PatternPrefer,
   module Funcons.Core.Abstractions.Patterns.Match,
   module Funcons.Core.Abstractions.Patterns.Patterns,
   module Funcons.Core.Abstractions.Patterns.PatternUnite,
   module Funcons.Core.Abstractions.Patterns.PatternAny,
   module Funcons.Core.Abstractions.Patterns.Case,
   module Funcons.Core.Abstractions.Patterns.MatchLoosely,
   module Funcons.Core.Abstractions.Patterns.PatternBind,
   module Funcons.Core.Abstractions.IsGroundValue,
   module Funcons.Core.Abstractions.Functions.Apply,
   module Funcons.Core.Abstractions.Functions.Supply,
   module Funcons.Core.Abstractions.Functions.BindingLambda,
   module Funcons.Core.Abstractions.Functions.Curry,
   module Funcons.Core.Abstractions.Functions.Lambda,
   module Funcons.Core.Abstractions.Functions.Uncurry,
   module Funcons.Core.Abstractions.Functions.PartialApply,
   module Funcons.Core.Abstractions.Functions.Compose,
    ) where 
import Funcons.EDSL
import Funcons.Core.Computations.Sorts hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.Sorts
import Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight
import Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic
import Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While
import Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile
import Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse
import Funcons.Core.Computations.ControlFlow.Abnormal.Stuck hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Stuck
import Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown
import Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown
import Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally
import Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw
import Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort
import Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference
import Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed
import Funcons.Core.Computations.DataFlow.Interacting.PrintList hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Interacting.PrintList
import Funcons.Core.Computations.DataFlow.Interacting.Print hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Interacting.Print
import Funcons.Core.Computations.DataFlow.Interacting.StandardOut hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Interacting.StandardOut
import Funcons.Core.Computations.DataFlow.Interacting.Read hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Interacting.Read
import Funcons.Core.Computations.DataFlow.Interacting.StandardIn hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Interacting.StandardIn
import Funcons.Core.Computations.DataFlow.Effect hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Effect
import Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap
import Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign
import Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned
import Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector
import Funcons.Core.Computations.DataFlow.Storing.Stores hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.Stores
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable
import Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign
import Funcons.Core.Computations.DataFlow.Storing.Store hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.Store
import Funcons.Core.Computations.DataFlow.Storing.Variables hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Storing.Variables
import Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink
import Funcons.Core.Computations.DataFlow.Linking.AllocateLink hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.AllocateLink
import Funcons.Core.Computations.DataFlow.Linking.FollowIfLink hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.FollowIfLink
import Funcons.Core.Computations.DataFlow.Linking.LinkStore hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.LinkStore
import Funcons.Core.Computations.DataFlow.Linking.Links hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.Links
import Funcons.Core.Computations.DataFlow.Linking.FollowLink hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.FollowLink
import Funcons.Core.Computations.DataFlow.Linking.LinkStores hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.LinkStores
import Funcons.Core.Computations.DataFlow.Linking.SetLink hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Linking.SetLink
import Funcons.Core.Computations.DataFlow.Giving.Given hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Giving.Given
import Funcons.Core.Computations.DataFlow.Giving.Give hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Giving.Give
import Funcons.Core.Computations.DataFlow.Giving.GivenValue hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Giving.GivenValue
import Funcons.Core.Computations.DataFlow.Generating.AtomGenerator hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Generating.AtomGenerator
import Funcons.Core.Computations.DataFlow.Generating.FreshAtom hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Generating.FreshAtom
import Funcons.Core.Computations.DataFlow.Generating.FreshBinder hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Generating.FreshBinder
import Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive
import Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively
import Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively
import Funcons.Core.Computations.DataFlow.Binding.Bound hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Bound
import Funcons.Core.Computations.DataFlow.Binding.Environments hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Environments
import Funcons.Core.Computations.DataFlow.Binding.Scope hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Scope
import Funcons.Core.Computations.DataFlow.Binding.Accumulate hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Accumulate
import Funcons.Core.Computations.DataFlow.Binding.Bind hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Bind
import Funcons.Core.Computations.DataFlow.Binding.Environment hiding (funcons,types,entities)
import qualified Funcons.Core.Computations.DataFlow.Binding.Environment
import Funcons.Core.Values.Types hiding (funcons,types,entities)
import qualified Funcons.Core.Values.Types
import Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs hiding (funcons,types,entities)
import qualified Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs
import Funcons.Core.Values.CompositeValues.Collections.Tuples hiding (funcons,types,entities)
import qualified Funcons.Core.Values.CompositeValues.Collections.Tuples
import Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants hiding (funcons,types,entities)
import qualified Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants
import Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records hiding (funcons,types,entities)
import qualified Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records
import Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References hiding (funcons,types,entities)
import qualified Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References
import Funcons.Core.Values.PrimitiveValues.UnitType hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.UnitType
import Funcons.Core.Values.PrimitiveValues.UnicodeCharacters hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.UnicodeCharacters
import Funcons.Core.Values.PrimitiveValues.Bits hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Bits
import Funcons.Core.Values.PrimitiveValues.Strings hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Strings
import Funcons.Core.Values.PrimitiveValues.Numbers.Integers hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Numbers.Integers
import Funcons.Core.Values.PrimitiveValues.Numbers.Rationals hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Numbers.Rationals
import Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats
import Funcons.Core.Values.PrimitiveValues.Booleans hiding (funcons,types,entities)
import qualified Funcons.Core.Values.PrimitiveValues.Booleans
import Funcons.Core.Abstractions.Closures.Close hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Closures.Close
import Funcons.Core.Abstractions.Closures.Closure hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Closures.Closure
import Funcons.Core.Abstractions.Patterns.PatternPrefer hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.PatternPrefer
import Funcons.Core.Abstractions.Patterns.Match hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.Match
import Funcons.Core.Abstractions.Patterns.Patterns hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.Patterns
import Funcons.Core.Abstractions.Patterns.PatternUnite hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.PatternUnite
import Funcons.Core.Abstractions.Patterns.PatternAny hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.PatternAny
import Funcons.Core.Abstractions.Patterns.Case hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.Case
import Funcons.Core.Abstractions.Patterns.MatchLoosely hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.MatchLoosely
import Funcons.Core.Abstractions.Patterns.PatternBind hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Patterns.PatternBind
import Funcons.Core.Abstractions.IsGroundValue hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.IsGroundValue
import Funcons.Core.Abstractions.Functions.Apply hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Apply
import Funcons.Core.Abstractions.Functions.Supply hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Supply
import Funcons.Core.Abstractions.Functions.BindingLambda hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.BindingLambda
import Funcons.Core.Abstractions.Functions.Curry hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Curry
import Funcons.Core.Abstractions.Functions.Lambda hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Lambda
import Funcons.Core.Abstractions.Functions.Uncurry hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Uncurry
import Funcons.Core.Abstractions.Functions.PartialApply hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.PartialApply
import Funcons.Core.Abstractions.Functions.Compose hiding (funcons,types,entities)
import qualified Funcons.Core.Abstractions.Functions.Compose
funcons = libUnions
    [
     Funcons.Core.Computations.Sorts.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile.funcons
    , Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Stuck.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference.funcons
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed.funcons
    , Funcons.Core.Computations.DataFlow.Interacting.PrintList.funcons
    , Funcons.Core.Computations.DataFlow.Interacting.Print.funcons
    , Funcons.Core.Computations.DataFlow.Interacting.StandardOut.funcons
    , Funcons.Core.Computations.DataFlow.Interacting.Read.funcons
    , Funcons.Core.Computations.DataFlow.Interacting.StandardIn.funcons
    , Funcons.Core.Computations.DataFlow.Effect.funcons
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap.funcons
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign.funcons
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned.funcons
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector.funcons
    , Funcons.Core.Computations.DataFlow.Storing.Stores.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable.funcons
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign.funcons
    , Funcons.Core.Computations.DataFlow.Storing.Store.funcons
    , Funcons.Core.Computations.DataFlow.Storing.Variables.funcons
    , Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink.funcons
    , Funcons.Core.Computations.DataFlow.Linking.AllocateLink.funcons
    , Funcons.Core.Computations.DataFlow.Linking.FollowIfLink.funcons
    , Funcons.Core.Computations.DataFlow.Linking.LinkStore.funcons
    , Funcons.Core.Computations.DataFlow.Linking.Links.funcons
    , Funcons.Core.Computations.DataFlow.Linking.FollowLink.funcons
    , Funcons.Core.Computations.DataFlow.Linking.LinkStores.funcons
    , Funcons.Core.Computations.DataFlow.Linking.SetLink.funcons
    , Funcons.Core.Computations.DataFlow.Giving.Given.funcons
    , Funcons.Core.Computations.DataFlow.Giving.Give.funcons
    , Funcons.Core.Computations.DataFlow.Giving.GivenValue.funcons
    , Funcons.Core.Computations.DataFlow.Generating.AtomGenerator.funcons
    , Funcons.Core.Computations.DataFlow.Generating.FreshAtom.funcons
    , Funcons.Core.Computations.DataFlow.Generating.FreshBinder.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Bound.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Environments.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Scope.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Accumulate.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Bind.funcons
    , Funcons.Core.Computations.DataFlow.Binding.Environment.funcons
    , Funcons.Core.Values.Types.funcons
    , Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs.funcons
    , Funcons.Core.Values.CompositeValues.Collections.Tuples.funcons
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants.funcons
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records.funcons
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References.funcons
    , Funcons.Core.Values.PrimitiveValues.UnitType.funcons
    , Funcons.Core.Values.PrimitiveValues.UnicodeCharacters.funcons
    , Funcons.Core.Values.PrimitiveValues.Bits.funcons
    , Funcons.Core.Values.PrimitiveValues.Strings.funcons
    , Funcons.Core.Values.PrimitiveValues.Numbers.Integers.funcons
    , Funcons.Core.Values.PrimitiveValues.Numbers.Rationals.funcons
    , Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats.funcons
    , Funcons.Core.Values.PrimitiveValues.Booleans.funcons
    , Funcons.Core.Abstractions.Closures.Close.funcons
    , Funcons.Core.Abstractions.Closures.Closure.funcons
    , Funcons.Core.Abstractions.Patterns.PatternPrefer.funcons
    , Funcons.Core.Abstractions.Patterns.Match.funcons
    , Funcons.Core.Abstractions.Patterns.Patterns.funcons
    , Funcons.Core.Abstractions.Patterns.PatternUnite.funcons
    , Funcons.Core.Abstractions.Patterns.PatternAny.funcons
    , Funcons.Core.Abstractions.Patterns.Case.funcons
    , Funcons.Core.Abstractions.Patterns.MatchLoosely.funcons
    , Funcons.Core.Abstractions.Patterns.PatternBind.funcons
    , Funcons.Core.Abstractions.IsGroundValue.funcons
    , Funcons.Core.Abstractions.Functions.Apply.funcons
    , Funcons.Core.Abstractions.Functions.Supply.funcons
    , Funcons.Core.Abstractions.Functions.BindingLambda.funcons
    , Funcons.Core.Abstractions.Functions.Curry.funcons
    , Funcons.Core.Abstractions.Functions.Lambda.funcons
    , Funcons.Core.Abstractions.Functions.Uncurry.funcons
    , Funcons.Core.Abstractions.Functions.PartialApply.funcons
    , Funcons.Core.Abstractions.Functions.Compose.funcons
    ]
entities = concat 
    [
     Funcons.Core.Computations.Sorts.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile.entities
    , Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Stuck.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference.entities
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed.entities
    , Funcons.Core.Computations.DataFlow.Interacting.PrintList.entities
    , Funcons.Core.Computations.DataFlow.Interacting.Print.entities
    , Funcons.Core.Computations.DataFlow.Interacting.StandardOut.entities
    , Funcons.Core.Computations.DataFlow.Interacting.Read.entities
    , Funcons.Core.Computations.DataFlow.Interacting.StandardIn.entities
    , Funcons.Core.Computations.DataFlow.Effect.entities
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap.entities
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign.entities
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned.entities
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector.entities
    , Funcons.Core.Computations.DataFlow.Storing.Stores.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable.entities
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign.entities
    , Funcons.Core.Computations.DataFlow.Storing.Store.entities
    , Funcons.Core.Computations.DataFlow.Storing.Variables.entities
    , Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink.entities
    , Funcons.Core.Computations.DataFlow.Linking.AllocateLink.entities
    , Funcons.Core.Computations.DataFlow.Linking.FollowIfLink.entities
    , Funcons.Core.Computations.DataFlow.Linking.LinkStore.entities
    , Funcons.Core.Computations.DataFlow.Linking.Links.entities
    , Funcons.Core.Computations.DataFlow.Linking.FollowLink.entities
    , Funcons.Core.Computations.DataFlow.Linking.LinkStores.entities
    , Funcons.Core.Computations.DataFlow.Linking.SetLink.entities
    , Funcons.Core.Computations.DataFlow.Giving.Given.entities
    , Funcons.Core.Computations.DataFlow.Giving.Give.entities
    , Funcons.Core.Computations.DataFlow.Giving.GivenValue.entities
    , Funcons.Core.Computations.DataFlow.Generating.AtomGenerator.entities
    , Funcons.Core.Computations.DataFlow.Generating.FreshAtom.entities
    , Funcons.Core.Computations.DataFlow.Generating.FreshBinder.entities
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive.entities
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively.entities
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively.entities
    , Funcons.Core.Computations.DataFlow.Binding.Bound.entities
    , Funcons.Core.Computations.DataFlow.Binding.Environments.entities
    , Funcons.Core.Computations.DataFlow.Binding.Scope.entities
    , Funcons.Core.Computations.DataFlow.Binding.Accumulate.entities
    , Funcons.Core.Computations.DataFlow.Binding.Bind.entities
    , Funcons.Core.Computations.DataFlow.Binding.Environment.entities
    , Funcons.Core.Values.Types.entities
    , Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs.entities
    , Funcons.Core.Values.CompositeValues.Collections.Tuples.entities
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants.entities
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records.entities
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References.entities
    , Funcons.Core.Values.PrimitiveValues.UnitType.entities
    , Funcons.Core.Values.PrimitiveValues.UnicodeCharacters.entities
    , Funcons.Core.Values.PrimitiveValues.Bits.entities
    , Funcons.Core.Values.PrimitiveValues.Strings.entities
    , Funcons.Core.Values.PrimitiveValues.Numbers.Integers.entities
    , Funcons.Core.Values.PrimitiveValues.Numbers.Rationals.entities
    , Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats.entities
    , Funcons.Core.Values.PrimitiveValues.Booleans.entities
    , Funcons.Core.Abstractions.Closures.Close.entities
    , Funcons.Core.Abstractions.Closures.Closure.entities
    , Funcons.Core.Abstractions.Patterns.PatternPrefer.entities
    , Funcons.Core.Abstractions.Patterns.Match.entities
    , Funcons.Core.Abstractions.Patterns.Patterns.entities
    , Funcons.Core.Abstractions.Patterns.PatternUnite.entities
    , Funcons.Core.Abstractions.Patterns.PatternAny.entities
    , Funcons.Core.Abstractions.Patterns.Case.entities
    , Funcons.Core.Abstractions.Patterns.MatchLoosely.entities
    , Funcons.Core.Abstractions.Patterns.PatternBind.entities
    , Funcons.Core.Abstractions.IsGroundValue.entities
    , Funcons.Core.Abstractions.Functions.Apply.entities
    , Funcons.Core.Abstractions.Functions.Supply.entities
    , Funcons.Core.Abstractions.Functions.BindingLambda.entities
    , Funcons.Core.Abstractions.Functions.Curry.entities
    , Funcons.Core.Abstractions.Functions.Lambda.entities
    , Funcons.Core.Abstractions.Functions.Uncurry.entities
    , Funcons.Core.Abstractions.Functions.PartialApply.entities
    , Funcons.Core.Abstractions.Functions.Compose.entities
    ]
types = typeEnvUnions 
    [
     Funcons.Core.Computations.Sorts.types
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.LeftToRight.types
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Atomic.types
    , Funcons.Core.Computations.ControlFlow.Normal.Sequencing.Sequential.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.VectorMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.SetMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.TupleMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.MapMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.MappingCollections.ListsMap.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MultisetFilter.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.SetFilter.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.MapFilter.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.FilteringCollections.ListFilter.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldl.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Definite.ReducingCollections.ListFoldr.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.While.types
    , Funcons.Core.Computations.ControlFlow.Normal.Iterating.Indefinite.DoWhile.types
    , Funcons.Core.Computations.ControlFlow.Normal.Choosing.IfThenElse.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Stuck.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Thrown.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleThrown.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Finally.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.Throw.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Throwing.HandleRecursively.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Plug.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ResumeSignal.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Shift.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Prompt.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Control.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.CallCc.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Reset.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Hole.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.Abort.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Continuations.ControlSignal.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Else.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.CheckTrue.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Fail.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Signals.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Dereference.types
    , Funcons.Core.Computations.ControlFlow.Abnormal.Failing.Failed.types
    , Funcons.Core.Computations.DataFlow.Interacting.PrintList.types
    , Funcons.Core.Computations.DataFlow.Interacting.Print.types
    , Funcons.Core.Computations.DataFlow.Interacting.StandardOut.types
    , Funcons.Core.Computations.DataFlow.Interacting.Read.types
    , Funcons.Core.Computations.DataFlow.Interacting.StandardIn.types
    , Funcons.Core.Computations.DataFlow.Effect.types
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateMap.types
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssign.types
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.GeneralAssigned.types
    , Funcons.Core.Computations.DataFlow.Storing.GeneralVariables.AllocateVector.types
    , Funcons.Core.Computations.DataFlow.Storing.Stores.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.CurrentValue.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assigned.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateInitialisedVariable.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.AllocateVariable.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.DeallocateVariable.types
    , Funcons.Core.Computations.DataFlow.Storing.SimpleVariables.Assign.types
    , Funcons.Core.Computations.DataFlow.Storing.Store.types
    , Funcons.Core.Computations.DataFlow.Storing.Variables.types
    , Funcons.Core.Computations.DataFlow.Linking.AllocateInitialisedLink.types
    , Funcons.Core.Computations.DataFlow.Linking.AllocateLink.types
    , Funcons.Core.Computations.DataFlow.Linking.FollowIfLink.types
    , Funcons.Core.Computations.DataFlow.Linking.LinkStore.types
    , Funcons.Core.Computations.DataFlow.Linking.Links.types
    , Funcons.Core.Computations.DataFlow.Linking.FollowLink.types
    , Funcons.Core.Computations.DataFlow.Linking.LinkStores.types
    , Funcons.Core.Computations.DataFlow.Linking.SetLink.types
    , Funcons.Core.Computations.DataFlow.Giving.Given.types
    , Funcons.Core.Computations.DataFlow.Giving.Give.types
    , Funcons.Core.Computations.DataFlow.Giving.GivenValue.types
    , Funcons.Core.Computations.DataFlow.Generating.AtomGenerator.types
    , Funcons.Core.Computations.DataFlow.Generating.FreshAtom.types
    , Funcons.Core.Computations.DataFlow.Generating.FreshBinder.types
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.Recursive.types
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BindRecursively.types
    , Funcons.Core.Computations.DataFlow.Binding.Recursion.BoundRecursively.types
    , Funcons.Core.Computations.DataFlow.Binding.Bound.types
    , Funcons.Core.Computations.DataFlow.Binding.Environments.types
    , Funcons.Core.Computations.DataFlow.Binding.Scope.types
    , Funcons.Core.Computations.DataFlow.Binding.Accumulate.types
    , Funcons.Core.Computations.DataFlow.Binding.Bind.types
    , Funcons.Core.Computations.DataFlow.Binding.Environment.types
    , Funcons.Core.Values.Types.types
    , Funcons.Core.Values.CompositeValues.Collections.DirectedGraphs.types
    , Funcons.Core.Values.CompositeValues.Collections.Tuples.types
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Variants.types
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.Records.types
    , Funcons.Core.Values.CompositeValues.AlgebraicDatatypeValues.References.types
    , Funcons.Core.Values.PrimitiveValues.UnitType.types
    , Funcons.Core.Values.PrimitiveValues.UnicodeCharacters.types
    , Funcons.Core.Values.PrimitiveValues.Bits.types
    , Funcons.Core.Values.PrimitiveValues.Strings.types
    , Funcons.Core.Values.PrimitiveValues.Numbers.Integers.types
    , Funcons.Core.Values.PrimitiveValues.Numbers.Rationals.types
    , Funcons.Core.Values.PrimitiveValues.Numbers.IeeeFloats.types
    , Funcons.Core.Values.PrimitiveValues.Booleans.types
    , Funcons.Core.Abstractions.Closures.Close.types
    , Funcons.Core.Abstractions.Closures.Closure.types
    , Funcons.Core.Abstractions.Patterns.PatternPrefer.types
    , Funcons.Core.Abstractions.Patterns.Match.types
    , Funcons.Core.Abstractions.Patterns.Patterns.types
    , Funcons.Core.Abstractions.Patterns.PatternUnite.types
    , Funcons.Core.Abstractions.Patterns.PatternAny.types
    , Funcons.Core.Abstractions.Patterns.Case.types
    , Funcons.Core.Abstractions.Patterns.MatchLoosely.types
    , Funcons.Core.Abstractions.Patterns.PatternBind.types
    , Funcons.Core.Abstractions.IsGroundValue.types
    , Funcons.Core.Abstractions.Functions.Apply.types
    , Funcons.Core.Abstractions.Functions.Supply.types
    , Funcons.Core.Abstractions.Functions.BindingLambda.types
    , Funcons.Core.Abstractions.Functions.Curry.types
    , Funcons.Core.Abstractions.Functions.Lambda.types
    , Funcons.Core.Abstractions.Functions.Uncurry.types
    , Funcons.Core.Abstractions.Functions.PartialApply.types
    , Funcons.Core.Abstractions.Functions.Compose.types
    ]