Module

Control.Isomorphism.Partial

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

#Iso Source

data Iso a b

Constructors

Instances

#inverse Source

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

#apply Source

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

#unapply Source

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

#IsoFunctor Source

class IsoFunctor f  where

Members

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

#(<$>) Source

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