module Funcons.Core.Library ( funcons, entities, types, module Funcons.Core.Computations.Normal.Interacting.Interacting, module Funcons.Core.Computations.Normal.Flowing.Flowing, module Funcons.Core.Computations.Normal.Storing.Storing, module Funcons.Core.Computations.Normal.Linking.Linking, module Funcons.Core.Computations.Normal.Giving.Giving, module Funcons.Core.Computations.Normal.Generating.Generating, module Funcons.Core.Computations.Normal.Binding.Binding, module Funcons.Core.Computations.Abnormal.Abrupting.Abrupting, module Funcons.Core.Computations.Abnormal.Returning.Returning, module Funcons.Core.Computations.Abnormal.Controlling.Controlling, module Funcons.Core.Computations.Abnormal.Throwing.Throwing, module Funcons.Core.Computations.Abnormal.Failing.Failing, module Funcons.Core.Computations.Abnormal.Sticking, module Funcons.Core.Computations.Abnormal.Breaking.Breaking, module Funcons.Core.Computations.Abnormal.Continuing.Continuing, module Funcons.Core.Values.Composite.ASTs.ASTs, module Funcons.Core.Values.Composite.Records.Records, module Funcons.Core.Values.Composite.Strings.Strings, module Funcons.Core.Values.Composite.References.References, module Funcons.Core.Values.Composite.Graphs.Graphs, module Funcons.Core.Values.Composite.Vectors.Vectors, module Funcons.Core.Values.Composite.Variants.Variants, module Funcons.Core.Values.Composite.Trees.Trees, module Funcons.Core.Values.Composite.Sequences.Sequences, module Funcons.Core.Values.Composite.Lists.Lists, module Funcons.Core.Values.Composite.Classes.Classes, module Funcons.Core.Values.Composite.Objects.Objects, module Funcons.Core.Values.Composite.Datatypes.Datatypes, module Funcons.Core.Values.Composite.Tuples.Tuples, module Funcons.Core.Values.Composite.Bits.Bits, module Funcons.Core.Values.Primitive.Floats.Floats, module Funcons.Core.Values.Primitive.Booleans.Booleans, module Funcons.Core.Values.Primitive.Null.Null, module Funcons.Core.Values.Primitive.Characters.Characters, module Funcons.Core.Values.Primitive.Integers.Integers, module Funcons.Core.Values.ValueTypes.ValueTypes, module Funcons.Core.Values.Abstraction.Thunks.Thunks, module Funcons.Core.Values.Abstraction.Patterns.Patterns, module Funcons.Core.Values.Abstraction.Functions.Functions, module Funcons.Core.Values.Abstraction.Generic.Generic, ) where import Funcons.EDSL import Funcons.Core.Computations.Normal.Interacting.Interacting hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Interacting.Interacting import Funcons.Core.Computations.Normal.Flowing.Flowing hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Flowing.Flowing import Funcons.Core.Computations.Normal.Storing.Storing hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Storing.Storing import Funcons.Core.Computations.Normal.Linking.Linking hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Linking.Linking import Funcons.Core.Computations.Normal.Giving.Giving hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Giving.Giving import Funcons.Core.Computations.Normal.Generating.Generating hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Generating.Generating import Funcons.Core.Computations.Normal.Binding.Binding hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Normal.Binding.Binding import Funcons.Core.Computations.Abnormal.Abrupting.Abrupting hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Abrupting.Abrupting import Funcons.Core.Computations.Abnormal.Returning.Returning hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Returning.Returning import Funcons.Core.Computations.Abnormal.Controlling.Controlling hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Controlling.Controlling import Funcons.Core.Computations.Abnormal.Throwing.Throwing hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Throwing.Throwing import Funcons.Core.Computations.Abnormal.Failing.Failing hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Failing.Failing import Funcons.Core.Computations.Abnormal.Sticking hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Sticking import Funcons.Core.Computations.Abnormal.Breaking.Breaking hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Breaking.Breaking import Funcons.Core.Computations.Abnormal.Continuing.Continuing hiding (funcons,types,entities) import qualified Funcons.Core.Computations.Abnormal.Continuing.Continuing import Funcons.Core.Values.Composite.ASTs.ASTs hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.ASTs.ASTs import Funcons.Core.Values.Composite.Records.Records hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Records.Records import Funcons.Core.Values.Composite.Strings.Strings hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Strings.Strings import Funcons.Core.Values.Composite.References.References hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.References.References import Funcons.Core.Values.Composite.Graphs.Graphs hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Graphs.Graphs import Funcons.Core.Values.Composite.Vectors.Vectors hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Vectors.Vectors import Funcons.Core.Values.Composite.Variants.Variants hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Variants.Variants import Funcons.Core.Values.Composite.Trees.Trees hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Trees.Trees import Funcons.Core.Values.Composite.Sequences.Sequences hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Sequences.Sequences import Funcons.Core.Values.Composite.Lists.Lists hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Lists.Lists import Funcons.Core.Values.Composite.Classes.Classes hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Classes.Classes import Funcons.Core.Values.Composite.Objects.Objects hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Objects.Objects import Funcons.Core.Values.Composite.Datatypes.Datatypes hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Datatypes.Datatypes import Funcons.Core.Values.Composite.Tuples.Tuples hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Tuples.Tuples import Funcons.Core.Values.Composite.Bits.Bits hiding (funcons,types,entities) import qualified Funcons.Core.Values.Composite.Bits.Bits import Funcons.Core.Values.Primitive.Floats.Floats hiding (funcons,types,entities) import qualified Funcons.Core.Values.Primitive.Floats.Floats import Funcons.Core.Values.Primitive.Booleans.Booleans hiding (funcons,types,entities) import qualified Funcons.Core.Values.Primitive.Booleans.Booleans import Funcons.Core.Values.Primitive.Null.Null hiding (funcons,types,entities) import qualified Funcons.Core.Values.Primitive.Null.Null import Funcons.Core.Values.Primitive.Characters.Characters hiding (funcons,types,entities) import qualified Funcons.Core.Values.Primitive.Characters.Characters import Funcons.Core.Values.Primitive.Integers.Integers hiding (funcons,types,entities) import qualified Funcons.Core.Values.Primitive.Integers.Integers import Funcons.Core.Values.ValueTypes.ValueTypes hiding (funcons,types,entities) import qualified Funcons.Core.Values.ValueTypes.ValueTypes import Funcons.Core.Values.Abstraction.Thunks.Thunks hiding (funcons,types,entities) import qualified Funcons.Core.Values.Abstraction.Thunks.Thunks import Funcons.Core.Values.Abstraction.Patterns.Patterns hiding (funcons,types,entities) import qualified Funcons.Core.Values.Abstraction.Patterns.Patterns import Funcons.Core.Values.Abstraction.Functions.Functions hiding (funcons,types,entities) import qualified Funcons.Core.Values.Abstraction.Functions.Functions import Funcons.Core.Values.Abstraction.Generic.Generic hiding (funcons,types,entities) import qualified Funcons.Core.Values.Abstraction.Generic.Generic funcons :: FunconLibrary funcons = [FunconLibrary] -> FunconLibrary libUnions [ FunconLibrary Funcons.Core.Computations.Normal.Interacting.Interacting.funcons , FunconLibrary Funcons.Core.Computations.Normal.Flowing.Flowing.funcons , FunconLibrary Funcons.Core.Computations.Normal.Storing.Storing.funcons , FunconLibrary Funcons.Core.Computations.Normal.Linking.Linking.funcons , FunconLibrary Funcons.Core.Computations.Normal.Giving.Giving.funcons , FunconLibrary Funcons.Core.Computations.Normal.Generating.Generating.funcons , FunconLibrary Funcons.Core.Computations.Normal.Binding.Binding.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Abrupting.Abrupting.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Returning.Returning.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Controlling.Controlling.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Throwing.Throwing.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Failing.Failing.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Sticking.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Breaking.Breaking.funcons , FunconLibrary Funcons.Core.Computations.Abnormal.Continuing.Continuing.funcons , FunconLibrary Funcons.Core.Values.Composite.ASTs.ASTs.funcons , FunconLibrary Funcons.Core.Values.Composite.Records.Records.funcons , FunconLibrary Funcons.Core.Values.Composite.Strings.Strings.funcons , FunconLibrary Funcons.Core.Values.Composite.References.References.funcons , FunconLibrary Funcons.Core.Values.Composite.Graphs.Graphs.funcons , FunconLibrary Funcons.Core.Values.Composite.Vectors.Vectors.funcons , FunconLibrary Funcons.Core.Values.Composite.Variants.Variants.funcons , FunconLibrary Funcons.Core.Values.Composite.Trees.Trees.funcons , FunconLibrary Funcons.Core.Values.Composite.Sequences.Sequences.funcons , FunconLibrary Funcons.Core.Values.Composite.Lists.Lists.funcons , FunconLibrary Funcons.Core.Values.Composite.Classes.Classes.funcons , FunconLibrary Funcons.Core.Values.Composite.Objects.Objects.funcons , FunconLibrary Funcons.Core.Values.Composite.Datatypes.Datatypes.funcons , FunconLibrary Funcons.Core.Values.Composite.Tuples.Tuples.funcons , FunconLibrary Funcons.Core.Values.Composite.Bits.Bits.funcons , FunconLibrary Funcons.Core.Values.Primitive.Floats.Floats.funcons , FunconLibrary Funcons.Core.Values.Primitive.Booleans.Booleans.funcons , FunconLibrary Funcons.Core.Values.Primitive.Null.Null.funcons , FunconLibrary Funcons.Core.Values.Primitive.Characters.Characters.funcons , FunconLibrary Funcons.Core.Values.Primitive.Integers.Integers.funcons , FunconLibrary Funcons.Core.Values.ValueTypes.ValueTypes.funcons , FunconLibrary Funcons.Core.Values.Abstraction.Thunks.Thunks.funcons , FunconLibrary Funcons.Core.Values.Abstraction.Patterns.Patterns.funcons , FunconLibrary Funcons.Core.Values.Abstraction.Functions.Functions.funcons , FunconLibrary Funcons.Core.Values.Abstraction.Generic.Generic.funcons ] entities :: [a] entities = [[a]] -> [a] forall (t :: * -> *) a. Foldable t => t [a] -> [a] concat [ [a] forall a. [a] Funcons.Core.Computations.Normal.Interacting.Interacting.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Flowing.Flowing.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Storing.Storing.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Linking.Linking.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Giving.Giving.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Generating.Generating.entities , [a] forall a. [a] Funcons.Core.Computations.Normal.Binding.Binding.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Abrupting.Abrupting.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Returning.Returning.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Controlling.Controlling.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Throwing.Throwing.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Failing.Failing.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Sticking.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Breaking.Breaking.entities , [a] forall a. [a] Funcons.Core.Computations.Abnormal.Continuing.Continuing.entities , [a] forall a. [a] Funcons.Core.Values.Composite.ASTs.ASTs.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Records.Records.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Strings.Strings.entities , [a] forall a. [a] Funcons.Core.Values.Composite.References.References.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Graphs.Graphs.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Vectors.Vectors.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Variants.Variants.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Trees.Trees.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Sequences.Sequences.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Lists.Lists.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Classes.Classes.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Objects.Objects.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Datatypes.Datatypes.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Tuples.Tuples.entities , [a] forall a. [a] Funcons.Core.Values.Composite.Bits.Bits.entities , [a] forall a. [a] Funcons.Core.Values.Primitive.Floats.Floats.entities , [a] forall a. [a] Funcons.Core.Values.Primitive.Booleans.Booleans.entities , [a] forall a. [a] Funcons.Core.Values.Primitive.Null.Null.entities , [a] forall a. [a] Funcons.Core.Values.Primitive.Characters.Characters.entities , [a] forall a. [a] Funcons.Core.Values.Primitive.Integers.Integers.entities , [a] forall a. [a] Funcons.Core.Values.ValueTypes.ValueTypes.entities , [a] forall a. [a] Funcons.Core.Values.Abstraction.Thunks.Thunks.entities , [a] forall a. [a] Funcons.Core.Values.Abstraction.Patterns.Patterns.entities , [a] forall a. [a] Funcons.Core.Values.Abstraction.Functions.Functions.entities , [a] forall a. [a] Funcons.Core.Values.Abstraction.Generic.Generic.entities ] types :: TypeRelation types = [TypeRelation] -> TypeRelation typeEnvUnions [ TypeRelation Funcons.Core.Computations.Normal.Interacting.Interacting.types , TypeRelation Funcons.Core.Computations.Normal.Flowing.Flowing.types , TypeRelation Funcons.Core.Computations.Normal.Storing.Storing.types , TypeRelation Funcons.Core.Computations.Normal.Linking.Linking.types , TypeRelation Funcons.Core.Computations.Normal.Giving.Giving.types , TypeRelation Funcons.Core.Computations.Normal.Generating.Generating.types , TypeRelation Funcons.Core.Computations.Normal.Binding.Binding.types , TypeRelation Funcons.Core.Computations.Abnormal.Abrupting.Abrupting.types , TypeRelation Funcons.Core.Computations.Abnormal.Returning.Returning.types , TypeRelation Funcons.Core.Computations.Abnormal.Controlling.Controlling.types , TypeRelation Funcons.Core.Computations.Abnormal.Throwing.Throwing.types , TypeRelation Funcons.Core.Computations.Abnormal.Failing.Failing.types , TypeRelation Funcons.Core.Computations.Abnormal.Sticking.types , TypeRelation Funcons.Core.Computations.Abnormal.Breaking.Breaking.types , TypeRelation Funcons.Core.Computations.Abnormal.Continuing.Continuing.types , TypeRelation Funcons.Core.Values.Composite.ASTs.ASTs.types , TypeRelation Funcons.Core.Values.Composite.Records.Records.types , TypeRelation Funcons.Core.Values.Composite.Strings.Strings.types , TypeRelation Funcons.Core.Values.Composite.References.References.types , TypeRelation Funcons.Core.Values.Composite.Graphs.Graphs.types , TypeRelation Funcons.Core.Values.Composite.Vectors.Vectors.types , TypeRelation Funcons.Core.Values.Composite.Variants.Variants.types , TypeRelation Funcons.Core.Values.Composite.Trees.Trees.types , TypeRelation Funcons.Core.Values.Composite.Sequences.Sequences.types , TypeRelation Funcons.Core.Values.Composite.Lists.Lists.types , TypeRelation Funcons.Core.Values.Composite.Classes.Classes.types , TypeRelation Funcons.Core.Values.Composite.Objects.Objects.types , TypeRelation Funcons.Core.Values.Composite.Datatypes.Datatypes.types , TypeRelation Funcons.Core.Values.Composite.Tuples.Tuples.types , TypeRelation Funcons.Core.Values.Composite.Bits.Bits.types , TypeRelation Funcons.Core.Values.Primitive.Floats.Floats.types , TypeRelation Funcons.Core.Values.Primitive.Booleans.Booleans.types , TypeRelation Funcons.Core.Values.Primitive.Null.Null.types , TypeRelation Funcons.Core.Values.Primitive.Characters.Characters.types , TypeRelation Funcons.Core.Values.Primitive.Integers.Integers.types , TypeRelation Funcons.Core.Values.ValueTypes.ValueTypes.types , TypeRelation Funcons.Core.Values.Abstraction.Thunks.Thunks.types , TypeRelation Funcons.Core.Values.Abstraction.Patterns.Patterns.types , TypeRelation Funcons.Core.Values.Abstraction.Functions.Functions.types , TypeRelation Funcons.Core.Values.Abstraction.Generic.Generic.types ]