Как я могу объединить CheckingFuelMonad с монадой состояния в Hoopl?

Я использую библиотеку Hoopl и хочу сохранить некоторое состояние при переписывании.Функции перезаписи полиморфны относительно используемой монады, но я не могу понять, как объединить монаду ---- +: = 0 =: + ---- с одной из библиотек ---- +: = 1 =:+ ---- монады.Ниже приведен минимальный пример.---- +: = 2 =: + ---- является синонимом, объединяющим ---- +: = 3 =: + ---- и ---- +: = 4 =: + - Hoopl.- монада с флагом.---- +: = 5 =: + ---- - это просто заполнитель для моего промежуточного языка и не очень важен.Но это не скомпилируется - GHC жалуется, что ---- +: = 7 =: + ---- имеет неправильный тип:Возможно ли то, что я хочу делать?Как правильно написать функцию ---- +: = 9 =: + ---- ?
7 голосов | спросил Justin Bailey 27 J0000006Europe/Moscow 2011, 19:36:10

0 ответов


Похожие вопросы

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132