2018-08-10 08:58:26 +02:00
|
|
|
{-# LANGUAGE MultiParamTypeClasses #-}
|
2018-08-10 14:09:07 +02:00
|
|
|
{-# LANGUAGE TypeSynonymInstances #-}
|
|
|
|
{-# LANGUAGE FlexibleInstances #-}
|
2018-08-10 08:58:26 +02:00
|
|
|
module Types.ObjClass where
|
|
|
|
|
|
|
|
import Affection
|
|
|
|
|
|
|
|
import Data.Ecstasy
|
|
|
|
|
|
|
|
import Types.Entity
|
|
|
|
|
|
|
|
class ObjectAction otype ostate where
|
|
|
|
objectAction
|
2019-03-15 01:41:18 +01:00
|
|
|
:: Double
|
2018-08-10 08:58:26 +02:00
|
|
|
-> otype
|
|
|
|
-> ostate
|
|
|
|
-> Ent
|
2020-05-05 00:53:46 +02:00
|
|
|
-> SystemT Entity (AffectionState AffectionData IO) ()
|
2018-08-10 08:58:26 +02:00
|
|
|
|
|
|
|
objectTransition
|
|
|
|
:: otype
|
|
|
|
-> ostate
|
2018-08-10 11:35:08 +02:00
|
|
|
-> Bool
|
2018-08-10 08:58:26 +02:00
|
|
|
-> Ent
|
2018-09-13 00:51:22 +02:00
|
|
|
-> Maybe Ent
|
2020-05-05 00:53:46 +02:00
|
|
|
-> SystemT Entity (AffectionState AffectionData IO) (Entity 'SetterOf)
|
2018-08-10 08:58:26 +02:00
|
|
|
|
|
|
|
class ActionTime otype ostate where
|
|
|
|
actionTime :: otype -> ostate -> Double
|