module Berp.Base.Object 
   (lookupAttribute, lookupSpecialAttribute, lookupAttributeMaybe, 
    typeOf, dictOf, identityOf, objectEquality) where

import Berp.Base.SemanticTypes (Object, Eval)
import Berp.Base.Identity (Identity)
import Berp.Base.Hash (Hashed)
import Berp.Base.LiftedIO (MonadIO)

typeOf :: Object -> Object
identityOf :: Object -> Identity
dictOf :: Object -> Maybe Object 
lookupAttribute :: Object -> Hashed String -> Eval Object
lookupSpecialAttribute :: Object -> Hashed String -> Eval Object
lookupAttributeMaybe :: MonadIO m => Object -> Hashed String -> m (Maybe Object)
objectEquality :: Object -> Object -> Eval Bool