coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-10-05 18:39:43 +03:00
Code Issues Projects Releases Wiki Activity

Tweaks

Browse Source
This commit is contained in:
Gabor Greif 2020-10-19 00:40:15 +02:00 committed by Marcin Szamotulski
parent afb22286df
commit 963b3f1221
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
examples/src/LoginStateMachine.hs
View File

@ -30,7 +30,7 @@ import Control.Category.FreeEffect
{-------------------------------------------------------------------------------
-- Example State Machine, inspired by:
-- `State Machines All The Way Down` by Edwin Bradly, 2017
-- `State Machines All The Way Down` by Edwin Brady, 2017
-- https://www.youtube.com/watch?v=xq7ZuSRgCR4
-------------------------------------------------------------------------------}
@ -60,7 +60,7 @@ runLoggedOut (LoggedOut a) = a
-- | Graph of transitions in the state machine. In abstract representation the
-- states do not show up, the only way to record some data is to add it to the
-- transition. Thus @'Logout'@ can carry data. When interpreted in some
-- category (e.g. @'Kleisli' m@) then the data will be avalable on
-- category (e.g. @'Kleisli' m@) then the data will be available on
-- @'LoggedOut{} :: 'State' a st@.
--
data Tr a (from :: StateType) (to :: StateType) where
@ -229,7 +229,7 @@ getData nat n handleLogin = case foldNatEffCat nat (accessSecret n handleLogin)
-- @'Monad' m@. Note, that even though @'Kleisli'@ category seems redundant
-- here, as we don't use the monad in the transformation, we need
-- a transformation into a category that satisfies the @'Lifing'@ constraint.
-- This is because we will need the monad whn @'foldNatLift'@ will walk over the
-- This is because we will need the monad when @'foldNatLift'@ will walk over the
-- constructors of the '@FreeLifting'@ category.
--
natPure :: forall m a from to.