Возврат списка и получение элементов в конечном автомате Hedgehog - PullRequest
Новая
       41

Возврат списка и получение элементов в конечном автомате Hedgehog

2 голосов
/ 29 сентября 2019

У меня есть модель для конечного автомата, которая 

newtype State (v :: * -> *) = State (M.Map (Var UUID v) DataPerItem)
    deriving (Eq, Show)

Затем у меня есть Command gen exec [Update update] с exec, возвращающим список UUID, т.е. он имеет тип 

exec :: action -> m [UUID]

, что в свою очередь означает, что update нужен тип, подобный этому 

update :: State v -> action -> Var [UUID] v -> State V

AFAICS Мне нужно, чтобы фактически обновить мою модель, чтобы превратить Var [UUID] v в [Var UUID v]. Я уже некоторое время смотрю на функции в Hedgehog, но ничего не выпрыгивает ... или я опять думаю обо всем этом неправильно? :)

...