Copyright	(c) Jorge Santiago Alvarez Cuadros, 2016
License	GPL-3
Maintainer	sanjorgek@ciencias.unam.mx
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010
Extensions	TypeOperators ExplicitNamespaces

Data.Delta

Contents

Description

Map implementation, represent a partial function

Synopsis

Delta

Deterministic

type (:->:) a p1 p2 = Map (State a, p1) (State a, p2) Source

nextD :: (Ord p1, Ord a) => (:->:) a p1 p2 -> (State a, p1) -> State a Source

type (:>-:) a p1 p2 = Map (State a, p1) ([State a], p2) Source

type (:*>:) a p o = Map (State a, p) o Source