├── .circleci └── config.yml ├── .dir-locals.el ├── Applicative ├── Type ├── extractFunctor ├── leftApConst ├── liftA2 ├── rightApConst └── terms.dhall ├── Arrow └── Type ├── Bifunctor ├── Type ├── first ├── second └── terms.dhall ├── Category ├── Type └── extractSemigroupoid ├── Codensity ├── Type ├── applicative ├── functor ├── lift ├── lower └── monad ├── Comonad ├── Type ├── extractFunctor └── fromExtractExtend ├── Compose ├── Type ├── applicative ├── foldable ├── functor └── traversable ├── Coyoneda ├── Type ├── functor ├── lift └── lower ├── Density ├── Type ├── functor ├── lift └── lower ├── DifferenceList ├── Type ├── append ├── applicative ├── cons ├── empty ├── foldable ├── functor ├── monad ├── monoid ├── semigroup ├── snoc └── toList ├── Either ├── Type ├── applicative │ ├── parallel │ └── sequential ├── bifunctor ├── fold ├── foldable ├── fromLeft ├── fromRight ├── functor ├── isLeft ├── isRight ├── lefts ├── mapBoth ├── mapLeft ├── mapRight ├── monad ├── partition ├── rights ├── terms.dhall └── traversable ├── EitherT ├── Type ├── applicative │ ├── parallel │ └── sequential ├── functor ├── monad └── transformer ├── Foldable ├── Type └── foldMap ├── Function ├── Type ├── arrow ├── category ├── profunctor ├── semigroupoid └── strong ├── Functor ├── Type ├── fromTraversable ├── leftConst ├── rightConst ├── terms.dhall └── void ├── Identity ├── Type ├── applicative ├── comonad ├── functor └── monad ├── Kleisli ├── Type ├── category └── semigroupoid ├── Lan ├── Type ├── functor ├── lift └── lower ├── List ├── applicative ├── foldable ├── functor ├── monad ├── monoid ├── semigroup └── traversable ├── Makefile ├── Monad ├── Type ├── extractApplicative ├── extractFunctor ├── fromPureBind └── terms.dhall ├── Monoid ├── Type └── extractSemigroup ├── NonEmptyList ├── Type ├── applicative ├── comonad ├── foldable ├── fromList ├── functor ├── semigroup ├── toList └── traversable ├── Optional ├── applicative ├── foldable ├── functor ├── monad └── traversable ├── Profunctor ├── Type └── fromDimap ├── README.md ├── Ran ├── Type ├── functor ├── lift └── lower ├── Reader ├── Type ├── applicative ├── ask ├── asks ├── functor ├── local ├── monad ├── terms.dhall └── withReader ├── ReaderT ├── Type ├── applicative ├── ask ├── asks ├── functor ├── local ├── monad ├── terms.dhall ├── transformer └── withReader ├── Semigroup └── Type ├── Semigroupoid └── Type ├── State ├── Type ├── applicative ├── eval ├── exec ├── functor ├── get ├── gets ├── modify ├── monad ├── put ├── terms.dhall └── withState ├── StateT ├── Type ├── applicative ├── eval ├── exec ├── functor ├── get ├── gets ├── modify ├── monad ├── put ├── terms.dhall ├── transformer └── withState ├── Strong └── Type ├── Transformer └── Type ├── Traversable ├── Type ├── extractFoldable ├── extractFunctor ├── fromTraverse └── sequence ├── Tuple ├── Type ├── comonad └── functor ├── Yoneda ├── Type ├── applicative ├── foldable ├── functor ├── lift ├── lower ├── monad └── traversable ├── docs └── index.html └── scripts ├── compile.sh ├── doc.sh └── find-dhall-files.sh /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/.dir-locals.el -------------------------------------------------------------------------------- /Applicative/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/Type -------------------------------------------------------------------------------- /Applicative/extractFunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/extractFunctor -------------------------------------------------------------------------------- /Applicative/leftApConst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/leftApConst -------------------------------------------------------------------------------- /Applicative/liftA2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/liftA2 -------------------------------------------------------------------------------- /Applicative/rightApConst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/rightApConst -------------------------------------------------------------------------------- /Applicative/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Applicative/terms.dhall -------------------------------------------------------------------------------- /Arrow/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Arrow/Type -------------------------------------------------------------------------------- /Bifunctor/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Bifunctor/Type -------------------------------------------------------------------------------- /Bifunctor/first: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Bifunctor/first -------------------------------------------------------------------------------- /Bifunctor/second: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Bifunctor/second -------------------------------------------------------------------------------- /Bifunctor/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Bifunctor/terms.dhall -------------------------------------------------------------------------------- /Category/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Category/Type -------------------------------------------------------------------------------- /Category/extractSemigroupoid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Category/extractSemigroupoid -------------------------------------------------------------------------------- /Codensity/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/Type -------------------------------------------------------------------------------- /Codensity/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/applicative -------------------------------------------------------------------------------- /Codensity/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/functor -------------------------------------------------------------------------------- /Codensity/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/lift -------------------------------------------------------------------------------- /Codensity/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/lower -------------------------------------------------------------------------------- /Codensity/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Codensity/monad -------------------------------------------------------------------------------- /Comonad/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Comonad/Type -------------------------------------------------------------------------------- /Comonad/extractFunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Comonad/extractFunctor -------------------------------------------------------------------------------- /Comonad/fromExtractExtend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Comonad/fromExtractExtend -------------------------------------------------------------------------------- /Compose/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Compose/Type -------------------------------------------------------------------------------- /Compose/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Compose/applicative -------------------------------------------------------------------------------- /Compose/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Compose/foldable -------------------------------------------------------------------------------- /Compose/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Compose/functor -------------------------------------------------------------------------------- /Compose/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Compose/traversable -------------------------------------------------------------------------------- /Coyoneda/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Coyoneda/Type -------------------------------------------------------------------------------- /Coyoneda/functor: -------------------------------------------------------------------------------- 1 | ./../Lan/functor ./../Identity/Type 2 | -------------------------------------------------------------------------------- /Coyoneda/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Coyoneda/lift -------------------------------------------------------------------------------- /Coyoneda/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Coyoneda/lower -------------------------------------------------------------------------------- /Density/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Density/Type -------------------------------------------------------------------------------- /Density/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Density/functor -------------------------------------------------------------------------------- /Density/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Density/lift -------------------------------------------------------------------------------- /Density/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Density/lower -------------------------------------------------------------------------------- /DifferenceList/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/Type -------------------------------------------------------------------------------- /DifferenceList/append: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/append -------------------------------------------------------------------------------- /DifferenceList/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/applicative -------------------------------------------------------------------------------- /DifferenceList/cons: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/cons -------------------------------------------------------------------------------- /DifferenceList/empty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/empty -------------------------------------------------------------------------------- /DifferenceList/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/foldable -------------------------------------------------------------------------------- /DifferenceList/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/functor -------------------------------------------------------------------------------- /DifferenceList/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/monad -------------------------------------------------------------------------------- /DifferenceList/monoid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/monoid -------------------------------------------------------------------------------- /DifferenceList/semigroup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/semigroup -------------------------------------------------------------------------------- /DifferenceList/snoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/snoc -------------------------------------------------------------------------------- /DifferenceList/toList: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/DifferenceList/toList -------------------------------------------------------------------------------- /Either/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/Type -------------------------------------------------------------------------------- /Either/applicative/parallel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/applicative/parallel -------------------------------------------------------------------------------- /Either/applicative/sequential: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/applicative/sequential -------------------------------------------------------------------------------- /Either/bifunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/bifunctor -------------------------------------------------------------------------------- /Either/fold: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/fold -------------------------------------------------------------------------------- /Either/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/foldable -------------------------------------------------------------------------------- /Either/fromLeft: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/fromLeft -------------------------------------------------------------------------------- /Either/fromRight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/fromRight -------------------------------------------------------------------------------- /Either/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/functor -------------------------------------------------------------------------------- /Either/isLeft: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/isLeft -------------------------------------------------------------------------------- /Either/isRight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/isRight -------------------------------------------------------------------------------- /Either/lefts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/lefts -------------------------------------------------------------------------------- /Either/mapBoth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/mapBoth -------------------------------------------------------------------------------- /Either/mapLeft: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/mapLeft -------------------------------------------------------------------------------- /Either/mapRight: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/mapRight -------------------------------------------------------------------------------- /Either/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/monad -------------------------------------------------------------------------------- /Either/partition: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/partition -------------------------------------------------------------------------------- /Either/rights: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/rights -------------------------------------------------------------------------------- /Either/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/terms.dhall -------------------------------------------------------------------------------- /Either/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Either/traversable -------------------------------------------------------------------------------- /EitherT/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/Type -------------------------------------------------------------------------------- /EitherT/applicative/parallel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/applicative/parallel -------------------------------------------------------------------------------- /EitherT/applicative/sequential: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/applicative/sequential -------------------------------------------------------------------------------- /EitherT/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/functor -------------------------------------------------------------------------------- /EitherT/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/monad -------------------------------------------------------------------------------- /EitherT/transformer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/EitherT/transformer -------------------------------------------------------------------------------- /Foldable/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Foldable/Type -------------------------------------------------------------------------------- /Foldable/foldMap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Foldable/foldMap -------------------------------------------------------------------------------- /Function/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/Type -------------------------------------------------------------------------------- /Function/arrow: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/arrow -------------------------------------------------------------------------------- /Function/category: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/category -------------------------------------------------------------------------------- /Function/profunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/profunctor -------------------------------------------------------------------------------- /Function/semigroupoid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/semigroupoid -------------------------------------------------------------------------------- /Function/strong: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Function/strong -------------------------------------------------------------------------------- /Functor/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/Type -------------------------------------------------------------------------------- /Functor/fromTraversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/fromTraversable -------------------------------------------------------------------------------- /Functor/leftConst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/leftConst -------------------------------------------------------------------------------- /Functor/rightConst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/rightConst -------------------------------------------------------------------------------- /Functor/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/terms.dhall -------------------------------------------------------------------------------- /Functor/void: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Functor/void -------------------------------------------------------------------------------- /Identity/Type: -------------------------------------------------------------------------------- 1 | λ(a : Type) → a 2 | -------------------------------------------------------------------------------- /Identity/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Identity/applicative -------------------------------------------------------------------------------- /Identity/comonad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Identity/comonad -------------------------------------------------------------------------------- /Identity/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Identity/functor -------------------------------------------------------------------------------- /Identity/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Identity/monad -------------------------------------------------------------------------------- /Kleisli/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Kleisli/Type -------------------------------------------------------------------------------- /Kleisli/category: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Kleisli/category -------------------------------------------------------------------------------- /Kleisli/semigroupoid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Kleisli/semigroupoid -------------------------------------------------------------------------------- /Lan/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Lan/Type -------------------------------------------------------------------------------- /Lan/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Lan/functor -------------------------------------------------------------------------------- /Lan/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Lan/lift -------------------------------------------------------------------------------- /Lan/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Lan/lower -------------------------------------------------------------------------------- /List/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/applicative -------------------------------------------------------------------------------- /List/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/foldable -------------------------------------------------------------------------------- /List/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/functor -------------------------------------------------------------------------------- /List/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/monad -------------------------------------------------------------------------------- /List/monoid: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/monoid -------------------------------------------------------------------------------- /List/semigroup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/semigroup -------------------------------------------------------------------------------- /List/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/List/traversable -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Makefile -------------------------------------------------------------------------------- /Monad/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monad/Type -------------------------------------------------------------------------------- /Monad/extractApplicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monad/extractApplicative -------------------------------------------------------------------------------- /Monad/extractFunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monad/extractFunctor -------------------------------------------------------------------------------- /Monad/fromPureBind: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monad/fromPureBind -------------------------------------------------------------------------------- /Monad/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monad/terms.dhall -------------------------------------------------------------------------------- /Monoid/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monoid/Type -------------------------------------------------------------------------------- /Monoid/extractSemigroup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Monoid/extractSemigroup -------------------------------------------------------------------------------- /NonEmptyList/Type: -------------------------------------------------------------------------------- 1 | λ(a : Type) → { head : a, tail : List a } 2 | -------------------------------------------------------------------------------- /NonEmptyList/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/applicative -------------------------------------------------------------------------------- /NonEmptyList/comonad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/comonad -------------------------------------------------------------------------------- /NonEmptyList/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/foldable -------------------------------------------------------------------------------- /NonEmptyList/fromList: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/fromList -------------------------------------------------------------------------------- /NonEmptyList/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/functor -------------------------------------------------------------------------------- /NonEmptyList/semigroup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/semigroup -------------------------------------------------------------------------------- /NonEmptyList/toList: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/toList -------------------------------------------------------------------------------- /NonEmptyList/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/NonEmptyList/traversable -------------------------------------------------------------------------------- /Optional/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Optional/applicative -------------------------------------------------------------------------------- /Optional/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Optional/foldable -------------------------------------------------------------------------------- /Optional/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Optional/functor -------------------------------------------------------------------------------- /Optional/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Optional/monad -------------------------------------------------------------------------------- /Optional/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Optional/traversable -------------------------------------------------------------------------------- /Profunctor/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Profunctor/Type -------------------------------------------------------------------------------- /Profunctor/fromDimap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Profunctor/fromDimap -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/README.md -------------------------------------------------------------------------------- /Ran/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Ran/Type -------------------------------------------------------------------------------- /Ran/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Ran/functor -------------------------------------------------------------------------------- /Ran/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Ran/lift -------------------------------------------------------------------------------- /Ran/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Ran/lower -------------------------------------------------------------------------------- /Reader/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/Type -------------------------------------------------------------------------------- /Reader/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/applicative -------------------------------------------------------------------------------- /Reader/ask: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/ask -------------------------------------------------------------------------------- /Reader/asks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/asks -------------------------------------------------------------------------------- /Reader/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/functor -------------------------------------------------------------------------------- /Reader/local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/local -------------------------------------------------------------------------------- /Reader/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/monad -------------------------------------------------------------------------------- /Reader/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/terms.dhall -------------------------------------------------------------------------------- /Reader/withReader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Reader/withReader -------------------------------------------------------------------------------- /ReaderT/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/Type -------------------------------------------------------------------------------- /ReaderT/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/applicative -------------------------------------------------------------------------------- /ReaderT/ask: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/ask -------------------------------------------------------------------------------- /ReaderT/asks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/asks -------------------------------------------------------------------------------- /ReaderT/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/functor -------------------------------------------------------------------------------- /ReaderT/local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/local -------------------------------------------------------------------------------- /ReaderT/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/monad -------------------------------------------------------------------------------- /ReaderT/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/terms.dhall -------------------------------------------------------------------------------- /ReaderT/transformer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/transformer -------------------------------------------------------------------------------- /ReaderT/withReader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/ReaderT/withReader -------------------------------------------------------------------------------- /Semigroup/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Semigroup/Type -------------------------------------------------------------------------------- /Semigroupoid/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Semigroupoid/Type -------------------------------------------------------------------------------- /State/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/Type -------------------------------------------------------------------------------- /State/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/applicative -------------------------------------------------------------------------------- /State/eval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/eval -------------------------------------------------------------------------------- /State/exec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/exec -------------------------------------------------------------------------------- /State/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/functor -------------------------------------------------------------------------------- /State/get: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/get -------------------------------------------------------------------------------- /State/gets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/gets -------------------------------------------------------------------------------- /State/modify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/modify -------------------------------------------------------------------------------- /State/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/monad -------------------------------------------------------------------------------- /State/put: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/put -------------------------------------------------------------------------------- /State/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/terms.dhall -------------------------------------------------------------------------------- /State/withState: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/State/withState -------------------------------------------------------------------------------- /StateT/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/Type -------------------------------------------------------------------------------- /StateT/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/applicative -------------------------------------------------------------------------------- /StateT/eval: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/eval -------------------------------------------------------------------------------- /StateT/exec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/exec -------------------------------------------------------------------------------- /StateT/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/functor -------------------------------------------------------------------------------- /StateT/get: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/get -------------------------------------------------------------------------------- /StateT/gets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/gets -------------------------------------------------------------------------------- /StateT/modify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/modify -------------------------------------------------------------------------------- /StateT/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/monad -------------------------------------------------------------------------------- /StateT/put: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/put -------------------------------------------------------------------------------- /StateT/terms.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/terms.dhall -------------------------------------------------------------------------------- /StateT/transformer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/transformer -------------------------------------------------------------------------------- /StateT/withState: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/StateT/withState -------------------------------------------------------------------------------- /Strong/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Strong/Type -------------------------------------------------------------------------------- /Transformer/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Transformer/Type -------------------------------------------------------------------------------- /Traversable/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Traversable/Type -------------------------------------------------------------------------------- /Traversable/extractFoldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Traversable/extractFoldable -------------------------------------------------------------------------------- /Traversable/extractFunctor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Traversable/extractFunctor -------------------------------------------------------------------------------- /Traversable/fromTraverse: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Traversable/fromTraverse -------------------------------------------------------------------------------- /Traversable/sequence: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Traversable/sequence -------------------------------------------------------------------------------- /Tuple/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Tuple/Type -------------------------------------------------------------------------------- /Tuple/comonad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Tuple/comonad -------------------------------------------------------------------------------- /Tuple/functor: -------------------------------------------------------------------------------- 1 | λ(a : Type) → ./../Comonad/extractFunctor (./Type a) 2 | -------------------------------------------------------------------------------- /Yoneda/Type: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/Type -------------------------------------------------------------------------------- /Yoneda/applicative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/applicative -------------------------------------------------------------------------------- /Yoneda/foldable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/foldable -------------------------------------------------------------------------------- /Yoneda/functor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/functor -------------------------------------------------------------------------------- /Yoneda/lift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/lift -------------------------------------------------------------------------------- /Yoneda/lower: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/lower -------------------------------------------------------------------------------- /Yoneda/monad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/monad -------------------------------------------------------------------------------- /Yoneda/traversable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/Yoneda/traversable -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/docs/index.html -------------------------------------------------------------------------------- /scripts/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/scripts/compile.sh -------------------------------------------------------------------------------- /scripts/doc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/scripts/doc.sh -------------------------------------------------------------------------------- /scripts/find-dhall-files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FormationAI/dhall-bhat/HEAD/scripts/find-dhall-files.sh --------------------------------------------------------------------------------