Module

Control.Isomorphism.Partial

Package: purescript-partial-isomorphisms
Repository: paulyoung/purescript-partial-isomorphisms

#Iso Source

data Iso a b

Constructors

Iso (a -> Maybe b) (b -> Maybe a)

Instances

Semigroupoid Iso
Category Iso

#inverse Source

inverse :: forall b a. Iso a b -> Iso b a

#apply Source

apply :: forall b a. Iso a b -> a -> Maybe b

#unapply Source

unapply :: forall b a. Iso a b -> b -> Maybe a

#IsoFunctor Source

class IsoFunctor f  where

Members

map :: forall b a. Iso a b -> f a -> f b

#(<$>) Source

Operator alias for Control.Isomorphism.Partial.map (non-associative / precedence 5)

Modules: Control.Isomorphism.Partial; Control.Isomorphism.Partial.Constructors; Control.Isomorphism.Partial.Derived; Control.Isomorphism.Partial.Prim