Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Extend automaton#381

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Open
turion wants to merge32 commits intomaster
base:master
Choose a base branch
Loading
fromdev_extend_automaton
Open
Show file tree
Hide file tree
Changes from1 commit
Commits
Show all changes
32 commits
Select commitHold shift + click to select a range
2cc253e
Fix naming in mapOutput and toRecursive
turionJun 10, 2024
b784bd9
Add stepInstant
turionJun 26, 2024
d698740
Fix naming in runStreamExcept
turionDec 30, 2024
343264c
Add Foldable and Traversable instances
turionDec 30, 2024
7d32c7d
Add mmap
turionJun 26, 2024
c153f86
Move toRecursive and fromRecursive
turionJun 25, 2024
2549fba
Simplify type signature of handleAutomaton
turionDec 30, 2024
b0fb98d
parallely and applying
turionJun 25, 2024
23b4c06
Avoid mtl dependency where possible
turionJun 26, 2024
8f5ec75
Add arr'
turionDec 30, 2024
88346f0
Relax constraints for Strong and Choice
turionDec 30, 2024
85ada3a
Add Filterable, Witherable instances and catMaybeS
turionDec 30, 2024
93345c7
WIP FilterAutomaton
turionDec 30, 2024
857b381
FIXUP (should drop itself) fix some warnings
turionJun 26, 2024
96fc2c6
Add unzipResult
turionJun 26, 2024
48ea06c
Fix import
turionJun 26, 2024
9167495
Add hoist' variants without monad constraint
turionDec 28, 2024
0820f0c
Fix import
Sep 26, 2024
a51f71a
Fix naming & hlint
turionDec 30, 2024
b0a7f18
Fix haddock
turionSep 28, 2024
014bd22
WIP Handling composed functors, runListS
turionDec 30, 2024
275c41e
WIP foldStream functions
turionDec 29, 2024
2db7198
WIP Apply some hints
turionDec 29, 2024
8e3f607
Fix haddock
turionDec 30, 2024
5d649de
Add mapException
turionDec 30, 2024
345aee1
Implement mtl instances for StreamExcept
turionDec 30, 2024
a0d9afe
Implement mtl instances for AutomatonExcept
turionDec 30, 2024
c0e62db
Haddock toRecursive and runStreamExcept
turionDec 30, 2024
3d4eb18
Derive Monoid for automata
turionDec 30, 2024
e5d0fba
Document Semialign instance
turionDec 30, 2024
71111a0
Document concatS
turionDec 30, 2024
d350ac8
WIP split
turionJan 6, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
PrevPrevious commit
NextNext commit
Avoid mtl dependency where possible
  • Loading branch information
@turion
turion committedDec 30, 2024
commit23b4c065e1ece95d978df377047d512c8c3e3c13
2 changes: 1 addition & 1 deletionautomaton/test/Automaton.hs
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -12,7 +12,7 @@ import Data.List (uncons)
import Data.Maybe (maybeToList)

-- transformers
import Control.Monad.State.Strict (StateT (..))
import Control.Monad.Trans.State.Strict (StateT (..))

-- containers
import Data.Map.Strict qualified as M
Expand Down
2 changes: 1 addition & 1 deletionautomaton/test/Automaton/Except.hs
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
module Automaton.Except where

-- base
importControl.Monad.Identity (Identity (runIdentity))
importData.Functor.Identity (Identity (runIdentity))

-- tasty
import Test.Tasty (testGroup)
Expand Down
2 changes: 1 addition & 1 deletionautomaton/test/Automaton/Trans/Accum.hs
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
module Automaton.Trans.Accum where

-- base
importControl.Monad.Identity (Identity (runIdentity))
importData.Functor.Identity (Identity (runIdentity))
import Data.Monoid (Sum (..))

-- transformers
Expand Down
2 changes: 1 addition & 1 deletionautomaton/test/Stream.hs
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
module Stream where

-- base
importControl.Monad.Identity (Identity (..))
importData.Functor.Identity (Identity (..))

-- selective
import Control.Selective
Expand Down

[8]ページ先頭

©2009-2025 Movatter.jp