คำถามติดแท็ก monad-transformers


3
mtl, หม้อแปลง, monads-fd, monadLib และความขัดแย้งของทางเลือก
Hackage มีหลายแพ็คเกจสำหรับ monad transformers: mtl : ห้องสมุดหม้อแปลง Monad หม้อแปลง : คอนกรีต functor และ monad transformers monads-fd : คลาส Monad โดยใช้การพึ่งพาการทำงาน monads-tf : คลาส Monad โดยใช้ประเภทครอบครัว monadLib : ชุดของหม้อแปลง monad mtl-tf : ไลบรารีหม้อแปลง Monad โดยใช้ตระกูลประเภท mmtl : ไลบรารีหม้อแปลง Modular Monad mtlx : ไลบรารีหม้อแปลง Monad พร้อมดัชนีประเภทให้สำเนา 'ฟรี' compose-trans : หม้อแปลง monad ที่ประกอบได้ …

2
รัฐต่างๆใน Haskell
ฉันกำลังพยายามกำหนดตระกูลของเครื่องสถานะที่มีสถานะแตกต่างกันบ้าง โดยเฉพาะอย่างยิ่งยิ่งเครื่องจักรซับซ้อน "รัฐ" มีสถานะที่เกิดขึ้นจากการรวมรัฐของเครื่องจักรรัฐง่ายขึ้น (สิ่งนี้คล้ายกับการตั้งค่าวัตถุที่วัตถุมีหลายคุณลักษณะที่เป็นวัตถุด้วย) นี่คือตัวอย่างที่เรียบง่ายของสิ่งที่ฉันต้องการบรรลุ data InnerState = MkInnerState { _innerVal :: Int } data OuterState = MkOuterState { _outerTrigger :: Bool, _inner :: InnerState } innerStateFoo :: Monad m => StateT InnerState m Int innerStateFoo = do i <- _innerVal <$> get put $ MkInnerState (i + 1) …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.