Module ldict.parameter.functionspace

Expand source code
#  Copyright (c) 2021. Davi Pereira dos Santos
#  This file is part of the ldict project.
#  Please respect the license - more about this in the section (*) below.
#
#  ldict is free software: you can redistribute it and/or modify
#  it under the terms of the GNU General Public License as published by
#  the Free Software Foundation, either version 3 of the License, or
#  (at your option) any later version.
#
#  ldict is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#  GNU General Public License for more details.
#
#  You should have received a copy of the GNU General Public License
#  along with ldict.  If not, see <http://www.gnu.org/licenses/>.
#
#  (*) Removing authorship by any means, e.g. by distribution of derived
#  works or verbatim, obfuscated, compiled or rewritten versions of any
#  part of this work is illegal and unethical regarding the effort and
#  time spent here.
import operator
from functools import reduce
from random import Random


class FunctionSpace:
    """Aglutination for future application

    >>> from ldict import ldict, empty
    >>> empty >> FunctionSpace()
    {}
    >>> fs = FunctionSpace() >> empty
    >>> fs >>= {"x": 5}
    >>> fs
    «{} × {'x': 5}»
    >>> ldict(y=7) >> fs
    {
        "y": 7,
        "x": 5
    }
    >>> fs >>= ldict(y=7)
    >>> fs
    «{} × {'x': 5} × {
        "y": 7
    }»
    >>> fs >>= lambda x,y: {"z": x*y}
    >>> fs
    «{} × {'x': 5} × {
        "y": 7
    } × λ»
    """

    def __init__(self, *args):
        self.functions = args

    def __rrshift__(self, left):
        return reduce(operator.rshift, (left,) + self.functions)

    def __rshift__(self, other):
        if isinstance(other, FunctionSpace):
            return FunctionSpace(*self.functions, *other.functions)
        return FunctionSpace(*self.functions, other)

    __mul__ = __rshift__

    def __repr__(self):
        txt = []
        for f in self.functions:
            if isinstance(f, list):
                s = "↑"
            elif isinstance(f, Random):
                s = "~"
            elif str(f).startswith("<function "):
                s = "λ"
            else:
                s = str(f)
            txt.append(s)
        return "«" + " × ".join(txt) + "»"

Classes

class FunctionSpace (*args)

Aglutination for future application

>>> from ldict import ldict, empty
>>> empty >> FunctionSpace()
{}
>>> fs = FunctionSpace() >> empty
>>> fs >>= {"x": 5}
>>> fs
«{} × {'x': 5}»
>>> ldict(y=7) >> fs
{
    "y": 7,
    "x": 5
}
>>> fs >>= ldict(y=7)
>>> fs
«{} × {'x': 5} × {
    "y": 7
}»
>>> fs >>= lambda x,y: {"z": x*y}
>>> fs
«{} × {'x': 5} × {
    "y": 7
} × λ»
Expand source code
class FunctionSpace:
    """Aglutination for future application

    >>> from ldict import ldict, empty
    >>> empty >> FunctionSpace()
    {}
    >>> fs = FunctionSpace() >> empty
    >>> fs >>= {"x": 5}
    >>> fs
    «{} × {'x': 5}»
    >>> ldict(y=7) >> fs
    {
        "y": 7,
        "x": 5
    }
    >>> fs >>= ldict(y=7)
    >>> fs
    «{} × {'x': 5} × {
        "y": 7
    }»
    >>> fs >>= lambda x,y: {"z": x*y}
    >>> fs
    «{} × {'x': 5} × {
        "y": 7
    } × λ»
    """

    def __init__(self, *args):
        self.functions = args

    def __rrshift__(self, left):
        return reduce(operator.rshift, (left,) + self.functions)

    def __rshift__(self, other):
        if isinstance(other, FunctionSpace):
            return FunctionSpace(*self.functions, *other.functions)
        return FunctionSpace(*self.functions, other)

    __mul__ = __rshift__

    def __repr__(self):
        txt = []
        for f in self.functions:
            if isinstance(f, list):
                s = "↑"
            elif isinstance(f, Random):
                s = "~"
            elif str(f).startswith("<function "):
                s = "λ"
            else:
                s = str(f)
            txt.append(s)
        return "«" + " × ".join(txt) + "»"