Contents Index

Org.Org.Semantic.HBase.Category.MonadSubtype

Synopsis

class Monad m => MonadIsA m to from where getConvert :: from -> m to class Monad m => MonadMaybeA m to from where getMaybeConvert :: from -> m (Maybe to) getIs :: Type to -> from -> m Bool class (MonadIsA m super sub, MonadMaybeA m sub super) => MonadSubtype m super sub

Documentation

class Monad m => MonadIsA m to from where

monadic version of IsA Methods getConvert :: from -> m to Instances HasTimeEquation m a b => MonadIsA m (Time a) (UT1Time b) HasTimeEquation m a b => MonadIsA m (UT1Time b) (Time a) (HasLeapSecondsRule m, Additive a a a, InterpretIntegerLiteral a) => MonadIsA m (Time a) (UTCTime a) (HasLeapSecondsRule m, HasIntegerDivide Integer a, InterpretRationalLiteral a) => MonadIsA m (UTCTime a) (Time a)

class Monad m => MonadMaybeA m to from where

monadic version of MaybeA Methods getMaybeConvert :: from -> m (Maybe to) getIs :: Type to -> from -> m Bool Instances

class (MonadIsA m super sub, MonadMaybeA m sub super) => MonadSubtype m super sub

monadic version of Subtype Instances

Produced by Haddock version 0.6