Control.OOP.Base

Documentation

class a :> b where

The instance-of typeclass. a :> b means that a is an instance of b.

Minimal complete definition

cast

Methods

cast :: a -> b

Instances

a :> a

Every interface is trivially an instance of itself.

Methods

cast :: a -> a

Applicative m => Double :> (ToString m)

Methods

cast :: Double -> ToString m

Applicative m => Int :> (ToString m)

Methods

cast :: Int -> ToString m

Applicative m => Integer :> (ToString m)

Methods

cast :: Integer -> ToString m

Applicative m => Rational :> (ToString m)

Methods

cast :: Rational -> ToString m

Applicative m => String :> (ToString m)

Methods

cast :: String -> ToString m

Applicative m => Text :> (ToString m)

Methods

cast :: Text -> ToString m

Applicative m => LText :> (ToString m)

Methods

cast :: LText -> ToString m

member :: cls :> inst => (inst -> inst -> a) -> cls -> a

Member accessor: get an object member through an interface.

imember :: (inst -> inst -> a) -> inst -> a

pureMember :: (cls :> inst, Applicative m) => (inst -> inst -> a) -> cls -> m a

Applicative accessor for a pure member.

mapMember :: (cls :> inst, Functor m) => (inst -> inst -> a) -> m cls -> m a

Accessing a pure member through a Functor

(-->) :: cls :> inst => cls -> (inst -> inst -> a) -> a infixl 8

Flipped operator alias for member.

(==>) :: inst -> (inst -> inst -> a) -> a infixl 8

Flipped operator alias for imember.

(-->>) :: (cls :> inst, Applicative m) => cls -> (inst -> inst -> a) -> m a infixl 8

Flipped operator alias for pureMember.

(>-->) :: (cls :> inst, Functor m) => m cls -> (inst -> inst -> a) -> m a infixl 8

Flipped operator alias for mapMember.