a6cd7156a1
Free monads are useful for many tree-like structures and domain specific languages. If f is a Functor then the free Monad on f is the type of trees whose nodes are labeled with the constructors of f. The word "free" is used in the sense of "unrestricted" rather than "zero-cost": Free f makes no constraining assumptions beyond those given by f and the definition of Monad. As used here it is a standard term from the mathematical theory of adjoint functors. Cofree comonads are dual to free monads. They provide convenient ways to talk about branching streams and rose-trees, and can be used to annotate syntax trees. The cofree comonad can be seen as a stream parameterized by a Functor that controls its branching factor.
101 lines
6.5 KiB
Text
101 lines
6.5 KiB
Text
@comment $NetBSD: PLIST,v 1.1 2022/02/16 08:53:40 pho Exp $
|
|
lib/free-${PKGVERSION}/${HS_VERSION}/package-description
|
|
lib/free-${PKGVERSION}/${HS_VERSION}/package-id
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
|
|
lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/LICENSE
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Alternative-Free-Final.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Alternative-Free.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free-Fast.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free-Final.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Trans-Free.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Cofree-Class.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Cofree.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Trans-Cofree.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Trans-Coiter.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Ap.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Church.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Class.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-TH.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free-Ap.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free-Church.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Iter.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/doc-index.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/Cabbage.lhs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/MandelbrotIter.lhs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/NewtonCoiter.lhs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/PerfTH.hs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/RetryTH.hs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/Teletype.lhs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/ValidationForm.hs
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/free.haddock
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/haddock-bundle.min.js
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/index.html
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/linuwial.css
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/meta.json
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/quick-jump.css
|
|
share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/synopsis.png
|