diff options
| author | nclarke <> | 2019-10-09 08:30:00 (GMT) |
|---|---|---|
| committer | hdiff <hdiff@hdiff.luite.com> | 2019-10-09 08:30:00 (GMT) |
| commit | 31eaf2c2a3b07a6553aef61572aa685426d9f5c2 (patch) | |
| tree | 0b6efd77935436a69661949149e6f7534abe8a95 /src/Control/Funflow/Diagram.hs | |
| parent | 3ceb65118bcf26cd628c9e0a0aba32cde5e9b4bf (diff) | |
version 1.5.01.5.0
Diffstat (limited to 'src/Control/Funflow/Diagram.hs')
| -rw-r--r-- | src/Control/Funflow/Diagram.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Control/Funflow/Diagram.hs b/src/Control/Funflow/Diagram.hs index 9581911..7305c9b 100644 --- a/src/Control/Funflow/Diagram.hs +++ b/src/Control/Funflow/Diagram.hs @@ -33,7 +33,7 @@ data Diagram ex a b where Seq :: Diagram ex a b -> Diagram ex b c -> Diagram ex a c Par :: Diagram ex a b -> Diagram ex c d -> Diagram ex (a,c) (b,d) Fanin :: Diagram ex a c -> Diagram ex b c -> Diagram ex (Either a b) c - Catch :: Diagram ex a b -> Diagram ex (a,ex) b -> Diagram ex a b + Try :: Diagram ex a b -> Diagram ex a (Either ex b) instance Category (Diagram ex) where id = Node emptyNodeProperties Proxy Proxy @@ -51,7 +51,7 @@ instance ArrowChoice (Diagram ex) where f ||| g = Fanin f g instance ArrowError ex (Diagram ex) where - f `catch` g = Catch f g + try = Try -- | Construct a labelled node node :: forall arr a b ex. Arrow arr => arr a b -> [T.Text] -> (Diagram ex) a b |