├── .gitignore ├── LICENSE ├── README.md ├── cabal.project ├── cabal.project.local ├── lesson0-convenience-libraries ├── README.md ├── lib-foo │ └── Foo.hs ├── lib │ └── Lesson0.hs └── package.cabal ├── lesson1-renaming-modules ├── README.md ├── lib-foo │ ├── Foo.hs │ └── Foo │ │ └── Extra.hs ├── lib │ └── Lesson1.hs └── package.cabal ├── lesson10-coercing-proofs ├── Main.hs ├── README.md ├── lib-proofs-coerced │ └── Lesson10 │ │ └── Proofs.hs ├── lib-proofs │ └── Lesson10 │ │ └── Proofs.hs ├── lib │ ├── Lesson10.hs │ └── Lesson10 │ │ └── Proofs.hsig ├── package.cabal └── test │ └── tests.hs ├── lesson11-controlling-encapsulation ├── README.md ├── lib-mystery-solved │ └── Lesson11 │ │ └── Mystery.hs ├── lib │ └── Lesson11 │ │ ├── Foo.hs │ │ ├── Inspectable.hs │ │ ├── Mystery.hsig │ │ └── UsesFoo.hs ├── package.cabal └── test │ └── tests.hs ├── lesson12-abstracting-type-families ├── README.md ├── lib-mystery-solved │ └── Lesson12 │ │ └── Mystery.hs ├── lib │ └── Lesson12 │ │ ├── Mystery.hsig │ │ └── User.hs ├── package.cabal └── test │ └── tests.hs ├── lesson2-signatures ├── Main.hs ├── README.md ├── impl │ └── Str │ │ ├── String.hs │ │ └── Text.hs ├── lib │ ├── Lesson2.hs │ └── Str.hsig └── package.cabal ├── lesson3-signature-merging ├── Main.hs ├── README.md ├── lib-bar │ ├── Bar.hs │ └── Siggy.hsig ├── lib-foo │ ├── Foo.hs │ └── Siggy.hsig ├── lib-impl │ └── Siggy.hs └── package.cabal ├── lesson4-signature-thinning ├── Main.hs ├── README.md ├── lib-bar │ ├── Bar.hs │ └── Bar │ │ └── Siggy.hsig ├── lib-foo │ ├── Foo.hs │ └── Foo │ │ └── Siggy.hsig ├── lib-impl │ ├── Bar │ │ └── Siggy.hs │ └── Foo │ │ └── Siggy.hs ├── lib-sig │ └── Siggy.hsig └── package.cabal ├── lesson5-abstract-typeclasses ├── Main.hs ├── README.md ├── impl │ ├── MappyHash.hs │ └── MappyOrdered.hs ├── lib │ ├── Lesson5.hs │ └── Mappy.hsig └── package.cabal ├── lesson6-abstracting-monad-stacks ├── .gitignore ├── Main.hs ├── README.md ├── benchmarks │ └── benchmarks.hs ├── lib-logic-impl │ └── LogicIndef │ │ └── Monad.hs ├── lib-logic-indef │ ├── LogicIndef.hs │ └── LogicIndef │ │ └── Monad.hsig ├── lib-logic-mtl │ └── LogicMTL.hs ├── lib-logic-trans │ └── LogicTrans.hs └── package.cabal ├── lesson7-module-identity ├── Main.hs ├── README.md ├── lib-pair-impl │ └── Pair │ │ └── Element.hs ├── lib-pair-indef │ ├── Pair.hs │ └── Pair │ │ └── Element.hsig └── package.cabal ├── lesson8-transitively-indefinite-packages ├── Main.hs ├── README.md ├── lib-core │ ├── Core.hs │ └── Core │ │ └── SomeSig.hsig ├── lib-impl │ └── Core │ │ └── SomeImpl.hs ├── lib-intermediate1 │ └── Intermediate1.hs ├── lib-intermediate2 │ └── Intermediate2.hs └── package.cabal └── lesson9-template-haskell ├── Main.hs ├── README.md ├── lib-core ├── Core.hs └── Core │ ├── SomeSig.hsig │ └── TH.hs ├── lib-impl └── Core │ └── SomeImpl.hs ├── lib-intermediate-th └── Intermediate │ └── TH.hs ├── lib-intermediate └── Intermediate.hs └── package.cabal /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.project.local: -------------------------------------------------------------------------------- 1 | tests: True 2 | -------------------------------------------------------------------------------- /lesson0-convenience-libraries/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson0-convenience-libraries/README.md -------------------------------------------------------------------------------- /lesson0-convenience-libraries/lib-foo/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson0-convenience-libraries/lib-foo/Foo.hs -------------------------------------------------------------------------------- /lesson0-convenience-libraries/lib/Lesson0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson0-convenience-libraries/lib/Lesson0.hs -------------------------------------------------------------------------------- /lesson0-convenience-libraries/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson0-convenience-libraries/package.cabal -------------------------------------------------------------------------------- /lesson1-renaming-modules/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson1-renaming-modules/README.md -------------------------------------------------------------------------------- /lesson1-renaming-modules/lib-foo/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson1-renaming-modules/lib-foo/Foo.hs -------------------------------------------------------------------------------- /lesson1-renaming-modules/lib-foo/Foo/Extra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson1-renaming-modules/lib-foo/Foo/Extra.hs -------------------------------------------------------------------------------- /lesson1-renaming-modules/lib/Lesson1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson1-renaming-modules/lib/Lesson1.hs -------------------------------------------------------------------------------- /lesson1-renaming-modules/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson1-renaming-modules/package.cabal -------------------------------------------------------------------------------- /lesson10-coercing-proofs/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/Main.hs -------------------------------------------------------------------------------- /lesson10-coercing-proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/README.md -------------------------------------------------------------------------------- /lesson10-coercing-proofs/lib-proofs-coerced/Lesson10/Proofs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/lib-proofs-coerced/Lesson10/Proofs.hs -------------------------------------------------------------------------------- /lesson10-coercing-proofs/lib-proofs/Lesson10/Proofs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/lib-proofs/Lesson10/Proofs.hs -------------------------------------------------------------------------------- /lesson10-coercing-proofs/lib/Lesson10.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/lib/Lesson10.hs -------------------------------------------------------------------------------- /lesson10-coercing-proofs/lib/Lesson10/Proofs.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/lib/Lesson10/Proofs.hsig -------------------------------------------------------------------------------- /lesson10-coercing-proofs/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/package.cabal -------------------------------------------------------------------------------- /lesson10-coercing-proofs/test/tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson10-coercing-proofs/test/tests.hs -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/README.md -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/lib-mystery-solved/Lesson11/Mystery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/lib-mystery-solved/Lesson11/Mystery.hs -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/lib/Lesson11/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/lib/Lesson11/Foo.hs -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/lib/Lesson11/Inspectable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/lib/Lesson11/Inspectable.hs -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/lib/Lesson11/Mystery.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/lib/Lesson11/Mystery.hsig -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/lib/Lesson11/UsesFoo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/lib/Lesson11/UsesFoo.hs -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/package.cabal -------------------------------------------------------------------------------- /lesson11-controlling-encapsulation/test/tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson11-controlling-encapsulation/test/tests.hs -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/README.md -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/lib-mystery-solved/Lesson12/Mystery.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/lib-mystery-solved/Lesson12/Mystery.hs -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/lib/Lesson12/Mystery.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/lib/Lesson12/Mystery.hsig -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/lib/Lesson12/User.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/lib/Lesson12/User.hs -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/package.cabal -------------------------------------------------------------------------------- /lesson12-abstracting-type-families/test/tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson12-abstracting-type-families/test/tests.hs -------------------------------------------------------------------------------- /lesson2-signatures/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/Main.hs -------------------------------------------------------------------------------- /lesson2-signatures/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/README.md -------------------------------------------------------------------------------- /lesson2-signatures/impl/Str/String.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/impl/Str/String.hs -------------------------------------------------------------------------------- /lesson2-signatures/impl/Str/Text.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/impl/Str/Text.hs -------------------------------------------------------------------------------- /lesson2-signatures/lib/Lesson2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/lib/Lesson2.hs -------------------------------------------------------------------------------- /lesson2-signatures/lib/Str.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/lib/Str.hsig -------------------------------------------------------------------------------- /lesson2-signatures/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson2-signatures/package.cabal -------------------------------------------------------------------------------- /lesson3-signature-merging/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/Main.hs -------------------------------------------------------------------------------- /lesson3-signature-merging/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/README.md -------------------------------------------------------------------------------- /lesson3-signature-merging/lib-bar/Bar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/lib-bar/Bar.hs -------------------------------------------------------------------------------- /lesson3-signature-merging/lib-bar/Siggy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/lib-bar/Siggy.hsig -------------------------------------------------------------------------------- /lesson3-signature-merging/lib-foo/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/lib-foo/Foo.hs -------------------------------------------------------------------------------- /lesson3-signature-merging/lib-foo/Siggy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/lib-foo/Siggy.hsig -------------------------------------------------------------------------------- /lesson3-signature-merging/lib-impl/Siggy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/lib-impl/Siggy.hs -------------------------------------------------------------------------------- /lesson3-signature-merging/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson3-signature-merging/package.cabal -------------------------------------------------------------------------------- /lesson4-signature-thinning/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/Main.hs -------------------------------------------------------------------------------- /lesson4-signature-thinning/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/README.md -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-bar/Bar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-bar/Bar.hs -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-bar/Bar/Siggy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-bar/Bar/Siggy.hsig -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-foo/Foo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-foo/Foo.hs -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-foo/Foo/Siggy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-foo/Foo/Siggy.hsig -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-impl/Bar/Siggy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-impl/Bar/Siggy.hs -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-impl/Foo/Siggy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-impl/Foo/Siggy.hs -------------------------------------------------------------------------------- /lesson4-signature-thinning/lib-sig/Siggy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/lib-sig/Siggy.hsig -------------------------------------------------------------------------------- /lesson4-signature-thinning/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson4-signature-thinning/package.cabal -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/Main.hs -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/README.md -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/impl/MappyHash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/impl/MappyHash.hs -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/impl/MappyOrdered.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/impl/MappyOrdered.hs -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/lib/Lesson5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/lib/Lesson5.hs -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/lib/Mappy.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/lib/Mappy.hsig -------------------------------------------------------------------------------- /lesson5-abstract-typeclasses/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson5-abstract-typeclasses/package.cabal -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/.gitignore: -------------------------------------------------------------------------------- 1 | core.txt 2 | -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/Main.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/README.md -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/benchmarks/benchmarks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/benchmarks/benchmarks.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/lib-logic-impl/LogicIndef/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/lib-logic-impl/LogicIndef/Monad.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/lib-logic-indef/LogicIndef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/lib-logic-indef/LogicIndef.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/lib-logic-indef/LogicIndef/Monad.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/lib-logic-indef/LogicIndef/Monad.hsig -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/lib-logic-mtl/LogicMTL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/lib-logic-mtl/LogicMTL.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/lib-logic-trans/LogicTrans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/lib-logic-trans/LogicTrans.hs -------------------------------------------------------------------------------- /lesson6-abstracting-monad-stacks/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson6-abstracting-monad-stacks/package.cabal -------------------------------------------------------------------------------- /lesson7-module-identity/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/Main.hs -------------------------------------------------------------------------------- /lesson7-module-identity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/README.md -------------------------------------------------------------------------------- /lesson7-module-identity/lib-pair-impl/Pair/Element.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/lib-pair-impl/Pair/Element.hs -------------------------------------------------------------------------------- /lesson7-module-identity/lib-pair-indef/Pair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/lib-pair-indef/Pair.hs -------------------------------------------------------------------------------- /lesson7-module-identity/lib-pair-indef/Pair/Element.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/lib-pair-indef/Pair/Element.hsig -------------------------------------------------------------------------------- /lesson7-module-identity/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson7-module-identity/package.cabal -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/Main.hs -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/README.md -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/lib-core/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/lib-core/Core.hs -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/lib-core/Core/SomeSig.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/lib-core/Core/SomeSig.hsig -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/lib-impl/Core/SomeImpl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/lib-impl/Core/SomeImpl.hs -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/lib-intermediate1/Intermediate1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/lib-intermediate1/Intermediate1.hs -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/lib-intermediate2/Intermediate2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/lib-intermediate2/Intermediate2.hs -------------------------------------------------------------------------------- /lesson8-transitively-indefinite-packages/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson8-transitively-indefinite-packages/package.cabal -------------------------------------------------------------------------------- /lesson9-template-haskell/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/Main.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/README.md -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-core/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-core/Core.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-core/Core/SomeSig.hsig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-core/Core/SomeSig.hsig -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-core/Core/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-core/Core/TH.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-impl/Core/SomeImpl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-impl/Core/SomeImpl.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-intermediate-th/Intermediate/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-intermediate-th/Intermediate/TH.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/lib-intermediate/Intermediate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/lib-intermediate/Intermediate.hs -------------------------------------------------------------------------------- /lesson9-template-haskell/package.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danidiaz/really-small-backpack-example/HEAD/lesson9-template-haskell/package.cabal --------------------------------------------------------------------------------