Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Documentation
data DomainReasoner Source #
Instances
Semigroup DomainReasoner Source # | |
Defined in Ideas.Service.DomainReasoner (<>) :: DomainReasoner -> DomainReasoner -> DomainReasoner # sconcat :: NonEmpty DomainReasoner -> DomainReasoner # stimes :: Integral b => b -> DomainReasoner -> DomainReasoner # | |
Monoid DomainReasoner Source # | |
Defined in Ideas.Service.DomainReasoner mappend :: DomainReasoner -> DomainReasoner -> DomainReasoner # mconcat :: [DomainReasoner] -> DomainReasoner # | |
HasId DomainReasoner Source # | |
Defined in Ideas.Service.DomainReasoner getId :: DomainReasoner -> Id Source # changeId :: (Id -> Id) -> DomainReasoner -> DomainReasoner Source # |
newDomainReasoner :: IsId a => a -> DomainReasoner Source #
exercisesSorted :: DomainReasoner -> [Some Exercise] Source #
servicesSorted :: DomainReasoner -> [Service] Source #
findExercise :: Monad m => DomainReasoner -> Id -> m (Some Exercise) Source #
findService :: Monad m => DomainReasoner -> Id -> m Service Source #
defaultScript :: DomainReasoner -> Id -> IO Script Source #