Data.Boltzmann.System

General utilities for combinatorial system of algebraic and rational systems.

Documentation

data System a

System of combinatorial structures.

Constructors

System

Fields

• defs :: Map String [Cons a]

  Type definitions.

• annotations :: Map String String

  System annotations.

Instances

Show a => Show (System a)

Methods

showsPrec :: Int -> System a -> ShowS

show :: System a -> String

showList :: [System a] -> ShowS

size :: System a -> Int

Size of a combinatorial system.

constructors :: System a -> Int

Constructors of a combinatorial system.

data Cons a

Type constructor.

Constructors

Cons

Fields

• func :: String

  Constructor name.

• args :: [Arg]

  Argument list.

• weight :: a

  Constructor weight.

• frequency :: Maybe Double

  Marking parameter.

Instances

Eq a => Eq (Cons a)

Methods

(==) :: Cons a -> Cons a -> Bool

(/=) :: Cons a -> Cons a -> Bool

Show a => Show (Cons a)

Methods

showsPrec :: Int -> Cons a -> ShowS

show :: Cons a -> String

showList :: [Cons a] -> ShowS

data Arg

Type constructor arguments.

Constructors

Type String

Regular type reference.

List String

Type list reference.

Instances

Eq Arg

Methods

(==) :: Arg -> Arg -> Bool

(/=) :: Arg -> Arg -> Bool

Show Arg

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

argName :: Arg -> String

The name of an argument.

types :: System a -> Set String

Type set of the given system.

data PSystem a

Parametrised system of combinatorial structures.

Constructors

PSystem

Fields

• system :: System a

  System with probability weights.

• values :: Vector a

  Numerical values of corresponding types.

• param :: a

  Evaluation parameter.

• weights :: System Int

  System with input weights.

typeList :: PSystem a -> [String]

Type list of the given parametrised system.

initType :: System a -> String

First (in alphabetical order) type in system.

paramTypes :: PSystem a -> [(String, [Cons a])]

List of types with corresponding constructors.

paramTypesW :: PSystem a -> [(String, [(Cons a, Int)])]

List of types with corresponding constructors and input weights.

typeWeight :: PSystem Double -> String -> Double

Type weight of the given parametrised system.

seqTypes :: System a -> [String]

List of sequence types.

data SystemType

Type of a combinatorial system. Note: System other than rational or algebraic are not yet supported.

Constructors

Rational

Algebraic

Unsupported String

error message

Instances

Show SystemType

Methods

showsPrec :: Int -> SystemType -> ShowS

show :: SystemType -> String

showList :: [SystemType] -> ShowS

systemType :: System a -> SystemType

Determines the system type.

hasAtoms :: System a -> Bool

Determines whether the system has atoms.

isAtomic :: Cons a -> Bool

evalT :: System Int -> Double -> Vector Double -> [Cons Int] -> Double

Evaluates the type in the given coordinates.

evalC :: System Int -> Double -> Vector Double -> Cons Int -> Double

Evaluates the constructor in the given coordinates.

evalA :: System Int -> Vector Double -> Arg -> Double

Evaluates the argument in the given coordinates.

getIdx :: System Int -> String -> Int

value :: String -> System b -> Vector Double -> Double

eval :: System Int -> Vector Double -> Double -> Vector Double

Evaluates the system at the given coordinates.

data SystemT a

Instances

Show a => Show (SystemT a)

Methods

showsPrec :: Int -> SystemT a -> ShowS

show :: SystemT a -> String

showList :: [SystemT a] -> ShowS

ToJSON a => ToJSON (SystemT a)

Methods

toJSON :: SystemT a -> Value

toEncoding :: SystemT a -> Encoding

toJSONList :: [SystemT a] -> Value

toEncodingList :: [SystemT a] -> Encoding

toSystemT :: System a -> SystemT a

Converts a given system to an output format.