HEX

File: //opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__/Cat.cpython-37.opt-1.pyc
B

�]��@s|Gdd�d�ZGdd�d�ZGdd�d�ZGdd�d�ZGdd	�d	e�Zd
d�Zdd
�Zdd�Zdd�Zdd�Z	dd�Z
dS)c@s,eZdZdd�Zdd�Zdd�Zdd�Zd	S)
�GraphcCs||_||_dS)N)�objects�arrows)�selfrr�r�@/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/Cat.py�__init__szGraph.__init__cCs|j|dS)N�)r)r�xrrr�sourceszGraph.sourcecCs|j|dS)N�)r)rr	rrr�target	szGraph.targetcCs.|j}tdd�t|j���D��}|�||�S)NcSs g|]\}\}}|||ff�qSrr)�.0Zarrow�src�tgtrrr�
<listcomp>sz"Graph.get_dual.<locals>.<listcomp>)r�dict�listr�items�	__class__)rrrrrr�get_dualszGraph.get_dualN)�__name__�
__module__�__qualname__rr
rrrrrrrsrc@seZdZdd�Zdd�ZdS)�CatcCs||_||_dS)N)�graph�	relations)rrrrrrrszCat.__init__cCs |j��}t|j�}|�||�S)N)rr�dual_relationsrr)rrrrrrrs

zCat.get_dualN)rrrrrrrrrrsrc@seZdZddd�ZdS)�FunctorNcCs$t|�|_t|�|_||_||_dS)N)�adapt_function�fo�farr)rrr rrrrrr$s

zFunctor.__init__)NN)rrrrrrrrr#src@sLeZdZdd�Zdd�Zdd�Zdd�Zd	d
�Zdd�Zd
d�Z	dd�Z
dS)�FunctioncCs@t|dd�}t|�rn|}t|�s*td��||_||_||_dS)N�__getitem__z.Function: map is neither callable or indexable)�getattr�callable�	TypeError�frr)r�maprrr&rrrr,szFunction.__init__cGs
|j|�S)N)r&)r�argsrrrr"9szFunction.__getitem__cOs|j||�S)N)r&)rr(�kwargsrrr�__call__<szFunction.__call__cCsd|j|j|j|jfS)Nz%s(%s, %s, %s))rrrr&)rrrr�__str__?szFunction.__str__cst�fdd��jD��S)Ncsg|]}|�|f�qSrr)r
r	)rrrrCsz#Function.asdict.<locals>.<listcomp>)rr)rr)rr�asdictBszFunction.asdictcs�fdd��jD�S)Ncsg|]}|�|f�qSrr)r
r	)rrrrFsz"Function.items.<locals>.<listcomp>)r)rr)rrrEszFunction.itemscCs
t|j�S)N)rr)rrrr�keysHsz
Function.keyscCsdd�t|���D�S)NcSsg|]\}}|�qSrr)r
�k�vrrrrLsz#Function.values.<locals>.<listcomp>)rr)rrrr�valuesKszFunction.valuesN)rrrrr"r*r+r,rr-r0rrrrr!+s
r!c@seZdZdd�ZdS)�IdentitycCst�dd�||�dS)NcSs|S)Nr)r	rrr�<lambda>Q�z#Identity.__init__.<locals>.<lambda>)r!r)rrrrrrPszIdentity.__init__N)rrrrrrrrr1Osr1cCsb|j}xV|jD]L}|�|�|kr6td||�|�f��|�|�|krtd||�|�f��qWdS)Nz+Arrow %r has source %r not in graph objectsz+Arrow %r has target %r not in graph objects)rrr
�
ValueErrorr)�GZGob�arrr�check_graphTsr7c
Cs�g}x$|D]\}}|�|�|�|�q
Wxv|D]n}d}xd|D]\}||jkrZtd|f��|dk	r�|�|�|�|�kr�td||�|�||�|�f��|}q>Wq0WdS)Nz.Arrow %r, used in a rule, is not a valid arrowz>Source of arrow %r (%r) does not match target of arrow %r (%r))�appendrr4r
r)�Rr5Zcoms�left�rightZcomZa0r6rrr�check_rulesbs 



r<cCst|j�t|j|j�dS)N)r7rr<r)�Crrr�	check_catxs
r>cCstt||�|�S)N)rr)rrrrrr�oarcat}sr?cCsFt|t�sBt|t�r.t|���}t|���}nd}d}t|||�}|S)N)�
isinstancer!rrr-r0)r&rrrrrr�s

rcCsPg}xF|D]>\}}t|�}t|�}|��|��|�t|�t|�f�q
W|S)N)r�reverser8�tuple)rZdualr6�brrrr�srN)rrrr!r1r7r<r>r?rrrrrr�<module>s$