Edit File: Cat.cpython-37.pyc
B �]� � @ s| G d d� d�Z G dd� d�ZG dd� d�ZG dd� d�ZG dd � d e�Zd d � Zd d � Zdd� Zdd� Zdd� Z dd� Z dS )c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S ) �Graphc C s || _ || _d S )N)�objects�arrows)�selfr r � r �@/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/Cat.py�__init__ s zGraph.__init__c C s | j | d S )N� )r )r �xr r r �source s z Graph.sourcec C s | j | d S )N� )r )r r r r r �target s z Graph.targetc C s. | j }tdd� t| j�� �D ��}| �||�S )Nc S s g | ]\}\}}|||ff�qS r r )�.0Zarrow�src�tgtr r r � <listcomp> s z"Graph.get_dual.<locals>.<listcomp>)r �dict�listr �items� __class__)r r r r r r �get_dual s zGraph.get_dualN)�__name__� __module__� __qualname__r r r r r r r r r s r c @ s e Zd Zdd� Zdd� ZdS )�Catc C s || _ || _d S )N)�graph� relations)r r r r r r r s z Cat.__init__c C s | j �� }t| j�}| �||�S )N)r r �dual_relationsr r )r r r r r r r s z Cat.get_dualN)r r r r r r r r r r s r c @ s e Zd Zddd�ZdS )�FunctorNc C s$ t |�| _t |�| _|| _|| _d S )N)�adapt_function�fo�far r )r r r r r r r r r $ s zFunctor.__init__)NN)r r r r r r r r r # s r c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )�Functionc C s@ t |dd �}t|�rn|}t|�s*td��|| _|| _|| _d S )N� __getitem__z.Function: map is neither callable or indexable)�getattr�callable� TypeError�fr r )r �mapr r r& r r r r , s zFunction.__init__c G s | j |� S )N)r& )r �argsr r r r" 9 s zFunction.__getitem__c O s | j ||�S )N)r& )r r( �kwargsr r r �__call__< s zFunction.__call__c C s d| j | j| j| jf S )Nz%s(%s, %s, %s))r r r r& )r r r r �__str__? s zFunction.__str__c s t � fdd�� jD ��S )Nc s g | ]}|� | f�qS r r )r r )r r r r C s z#Function.asdict.<locals>.<listcomp>)r r )r r )r r �asdictB s zFunction.asdictc s � fdd�� j D �S )Nc s g | ]}|� | f�qS r r )r r )r r r r F s z"Function.items.<locals>.<listcomp>)r )r r )r r r E s zFunction.itemsc C s t | j�S )N)r r )r r r r �keysH s z Function.keysc C s dd� t | �� �D �S )Nc S s g | ] \}}|�qS r r )r �k�vr r r r L s z#Function.values.<locals>.<listcomp>)r r )r r r r �valuesK s zFunction.valuesN) r r r r r" r* r+ r, r r- r0 r r r r r! + s r! c @ s e Zd Zdd� ZdS )�Identityc C s t �dd� ||� d S )Nc S s | S )Nr )r r r r �<lambda>Q � z#Identity.__init__.<locals>.<lambda>)r! r )r r r r r r P s zIdentity.__init__N)r r r r r r r r r1 O s r1 c C sb | j }xV| jD ]L}| �|�|kr6td|| �|�f ��| �|�|krtd|| �|�f ��qW d S )Nz+Arrow %r has source %r not in graph objectsz+Arrow %r has target %r not in graph objects)r r r � ValueErrorr )�GZGob�ar r r � check_graphT s r7 c C s� g }x$| D ] \}}|� |� |� |� q W xv|D ]n}d }xd|D ]\}||jkrZtd|f ��|d k r�|�|�|�|�kr�td||�|�||�|�f ��|}q>W q0W d S )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))�appendr r4 r r )�Rr5 Zcoms�left�rightZcomZa0r6 r r r � check_rulesb s r< c C s t | j� t| j| j� d S )N)r7 r r< r )�Cr r r � check_catx s r> c C s t t| |�|�S )N)r r )r r r r r r �oarcat} s r? c C sF t | t�sBt | t�r.t| �� �}t| �� �}nd }d }t| ||�} | S )N)� isinstancer! r r r- r0 )r& r r r r r r � s r c C sP g }xF| D ]>\}}t |�}t |�}|�� |�� |�t|�t|�f� q W |S )N)r �reverser8 �tuple)r Zdualr6 �br r r r � s r N) r r r r! r1 r7 r< r> r? r r r r r r �<module> s $