├── .envrc ├── .php-cs-fixer.dist.php ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── composer.json ├── docs ├── data-structures │ ├── Either.md │ ├── IO.md │ ├── Identity.md │ ├── LinkedList.md │ ├── Maybe.md │ ├── Pair.md │ ├── Reader.md │ └── State.md └── typeclasses │ ├── Alt.md │ ├── Alternative.md │ ├── Applicative.md │ ├── Apply.md │ ├── Bifunctor.md │ ├── Foldable.md │ ├── Functor.md │ ├── Monad.md │ ├── MonadThrow.md │ ├── Monoid.md │ ├── Plus.md │ ├── Profunctor.md │ ├── Semigroup.md │ └── Traversable.md ├── flake.lock ├── flake.nix └── src ├── Brand ├── Brand.php ├── EitherBrand.php ├── EitherBrand2.php ├── IOBrand.php ├── IdentityBrand.php ├── LinkedListBrand.php ├── ListBrand.php ├── MaybeBrand.php ├── PairBrand.php ├── PairBrand2.php ├── ReaderBrand.php ├── StateBrand.php └── TraversableBrand.php ├── Either.php ├── HK ├── HK1.php ├── HK2.php └── HK2Covariant.php ├── IO.php ├── Identity.php ├── Instances ├── ConstantSemigroup.php ├── Either │ ├── EitherAlt.php │ ├── EitherAlternative.php │ ├── EitherApplicative.php │ ├── EitherApply.php │ ├── EitherBifunctor.php │ ├── EitherFoldable.php │ ├── EitherFunctor.php │ ├── EitherMonad.php │ ├── EitherMonadThrow.php │ ├── EitherPlus.php │ ├── EitherTraversable.php │ ├── JoinEitherSemigroup.php │ ├── MeetEitherSemigroup.php │ ├── ValidationApplicative.php │ └── ValidationApply.php ├── FirstSemigroup.php ├── IO │ ├── IOApplicative.php │ ├── IOApply.php │ ├── IOFunctor.php │ └── IOMonad.php ├── Identity │ ├── IdentityApplicative.php │ ├── IdentityApply.php │ ├── IdentityFoldable.php │ ├── IdentityFunctor.php │ ├── IdentityMonad.php │ └── IdentityTraversable.php ├── LinkedList │ ├── LinkedListApplicative.php │ ├── LinkedListApply.php │ ├── LinkedListFoldable.php │ ├── LinkedListFunctor.php │ ├── LinkedListMonad.php │ ├── LinkedListMonoid.php │ └── LinkedListTraversable.php ├── ListL │ ├── ConcatenationMonoid.php │ ├── ListFoldable.php │ ├── ListFunctor.php │ └── ListTraversable.php ├── Maybe │ ├── MaybeApplicative.php │ ├── MaybeApply.php │ ├── MaybeFoldable.php │ ├── MaybeFunctor.php │ ├── MaybeMonad.php │ ├── MaybeMonadThrow.php │ └── MaybeTraversable.php ├── OppositeMonoid.php ├── OppositeSemigroup.php ├── Pair │ ├── PairApplicative.php │ ├── PairApply.php │ ├── PairBifunctor.php │ ├── PairFunctor.php │ └── PairMonad.php ├── Reader │ ├── ReaderApplicative.php │ ├── ReaderApply.php │ ├── ReaderFunctor.php │ └── ReaderMonad.php ├── State │ ├── StateApplicative.php │ ├── StateApply.php │ ├── StateFunctor.php │ └── StateMonad.php ├── String │ └── ConcatenationMonoid.php └── Traversable │ ├── TraversableFoldable.php │ └── TraversableMonoid.php ├── LinkedList.php ├── ListL.php ├── Maybe.php ├── Pair.php ├── Reader.php ├── State.php ├── Traversable.php ├── Typeclass ├── Alt.php ├── Alternative.php ├── Applicative.php ├── Apply.php ├── Bifunctor.php ├── DefaultInstance │ ├── DefaultApplicative.php │ ├── DefaultApply.php │ ├── DefaultFoldable.php │ ├── DefaultFunctor.php │ ├── DefaultMonad.php │ ├── DefaultProfunctor.php │ └── DefaultTraversable.php ├── Extra │ ├── ExtraApply.php │ ├── ExtraBifunctor.php │ ├── ExtraFoldable.php │ ├── ExtraFunctor.php │ ├── ExtraMonad.php │ ├── ExtraProfunctor.php │ └── ExtraTraversable.php ├── Foldable.php ├── Functor.php ├── Monad.php ├── MonadThrow.php ├── Monoid.php ├── Plus.php ├── Profunctor.php ├── Semigroup.php └── Traversable.php └── Unit.php /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.php-cs-fixer.dist.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/.php-cs-fixer.dist.php -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/README.md -------------------------------------------------------------------------------- /composer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/composer.json -------------------------------------------------------------------------------- /docs/data-structures/Either.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/Either.md -------------------------------------------------------------------------------- /docs/data-structures/IO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/IO.md -------------------------------------------------------------------------------- /docs/data-structures/Identity.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/Identity.md -------------------------------------------------------------------------------- /docs/data-structures/LinkedList.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/LinkedList.md -------------------------------------------------------------------------------- /docs/data-structures/Maybe.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/Maybe.md -------------------------------------------------------------------------------- /docs/data-structures/Pair.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/Pair.md -------------------------------------------------------------------------------- /docs/data-structures/Reader.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/Reader.md -------------------------------------------------------------------------------- /docs/data-structures/State.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/data-structures/State.md -------------------------------------------------------------------------------- /docs/typeclasses/Alt.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Alt.md -------------------------------------------------------------------------------- /docs/typeclasses/Alternative.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Alternative.md -------------------------------------------------------------------------------- /docs/typeclasses/Applicative.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Applicative.md -------------------------------------------------------------------------------- /docs/typeclasses/Apply.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Apply.md -------------------------------------------------------------------------------- /docs/typeclasses/Bifunctor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Bifunctor.md -------------------------------------------------------------------------------- /docs/typeclasses/Foldable.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Foldable.md -------------------------------------------------------------------------------- /docs/typeclasses/Functor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Functor.md -------------------------------------------------------------------------------- /docs/typeclasses/Monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Monad.md -------------------------------------------------------------------------------- /docs/typeclasses/MonadThrow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/MonadThrow.md -------------------------------------------------------------------------------- /docs/typeclasses/Monoid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Monoid.md -------------------------------------------------------------------------------- /docs/typeclasses/Plus.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Plus.md -------------------------------------------------------------------------------- /docs/typeclasses/Profunctor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Profunctor.md -------------------------------------------------------------------------------- /docs/typeclasses/Semigroup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Semigroup.md -------------------------------------------------------------------------------- /docs/typeclasses/Traversable.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/docs/typeclasses/Traversable.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/flake.nix -------------------------------------------------------------------------------- /src/Brand/Brand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/Brand.php -------------------------------------------------------------------------------- /src/Brand/EitherBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/EitherBrand.php -------------------------------------------------------------------------------- /src/Brand/EitherBrand2.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/EitherBrand2.php -------------------------------------------------------------------------------- /src/Brand/IOBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/IOBrand.php -------------------------------------------------------------------------------- /src/Brand/IdentityBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/IdentityBrand.php -------------------------------------------------------------------------------- /src/Brand/LinkedListBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/LinkedListBrand.php -------------------------------------------------------------------------------- /src/Brand/ListBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/ListBrand.php -------------------------------------------------------------------------------- /src/Brand/MaybeBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/MaybeBrand.php -------------------------------------------------------------------------------- /src/Brand/PairBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/PairBrand.php -------------------------------------------------------------------------------- /src/Brand/PairBrand2.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/PairBrand2.php -------------------------------------------------------------------------------- /src/Brand/ReaderBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/ReaderBrand.php -------------------------------------------------------------------------------- /src/Brand/StateBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/StateBrand.php -------------------------------------------------------------------------------- /src/Brand/TraversableBrand.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Brand/TraversableBrand.php -------------------------------------------------------------------------------- /src/Either.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Either.php -------------------------------------------------------------------------------- /src/HK/HK1.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/HK/HK1.php -------------------------------------------------------------------------------- /src/HK/HK2.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/HK/HK2.php -------------------------------------------------------------------------------- /src/HK/HK2Covariant.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/HK/HK2Covariant.php -------------------------------------------------------------------------------- /src/IO.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/IO.php -------------------------------------------------------------------------------- /src/Identity.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Identity.php -------------------------------------------------------------------------------- /src/Instances/ConstantSemigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/ConstantSemigroup.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherAlt.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherAlt.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherAlternative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherAlternative.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherApplicative.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherApply.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherBifunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherBifunctor.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherFoldable.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherFunctor.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherMonad.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherMonadThrow.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherMonadThrow.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherPlus.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherPlus.php -------------------------------------------------------------------------------- /src/Instances/Either/EitherTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/EitherTraversable.php -------------------------------------------------------------------------------- /src/Instances/Either/JoinEitherSemigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/JoinEitherSemigroup.php -------------------------------------------------------------------------------- /src/Instances/Either/MeetEitherSemigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/MeetEitherSemigroup.php -------------------------------------------------------------------------------- /src/Instances/Either/ValidationApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/ValidationApplicative.php -------------------------------------------------------------------------------- /src/Instances/Either/ValidationApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Either/ValidationApply.php -------------------------------------------------------------------------------- /src/Instances/FirstSemigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/FirstSemigroup.php -------------------------------------------------------------------------------- /src/Instances/IO/IOApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/IO/IOApplicative.php -------------------------------------------------------------------------------- /src/Instances/IO/IOApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/IO/IOApply.php -------------------------------------------------------------------------------- /src/Instances/IO/IOFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/IO/IOFunctor.php -------------------------------------------------------------------------------- /src/Instances/IO/IOMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/IO/IOMonad.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityApplicative.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityApply.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityFoldable.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityFunctor.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityMonad.php -------------------------------------------------------------------------------- /src/Instances/Identity/IdentityTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Identity/IdentityTraversable.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListApplicative.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListApply.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListFoldable.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListFunctor.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListMonad.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListMonoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListMonoid.php -------------------------------------------------------------------------------- /src/Instances/LinkedList/LinkedListTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/LinkedList/LinkedListTraversable.php -------------------------------------------------------------------------------- /src/Instances/ListL/ConcatenationMonoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/ListL/ConcatenationMonoid.php -------------------------------------------------------------------------------- /src/Instances/ListL/ListFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/ListL/ListFoldable.php -------------------------------------------------------------------------------- /src/Instances/ListL/ListFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/ListL/ListFunctor.php -------------------------------------------------------------------------------- /src/Instances/ListL/ListTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/ListL/ListTraversable.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeApplicative.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeApply.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeFoldable.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeFunctor.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeMonad.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeMonadThrow.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeMonadThrow.php -------------------------------------------------------------------------------- /src/Instances/Maybe/MaybeTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Maybe/MaybeTraversable.php -------------------------------------------------------------------------------- /src/Instances/OppositeMonoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/OppositeMonoid.php -------------------------------------------------------------------------------- /src/Instances/OppositeSemigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/OppositeSemigroup.php -------------------------------------------------------------------------------- /src/Instances/Pair/PairApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Pair/PairApplicative.php -------------------------------------------------------------------------------- /src/Instances/Pair/PairApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Pair/PairApply.php -------------------------------------------------------------------------------- /src/Instances/Pair/PairBifunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Pair/PairBifunctor.php -------------------------------------------------------------------------------- /src/Instances/Pair/PairFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Pair/PairFunctor.php -------------------------------------------------------------------------------- /src/Instances/Pair/PairMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Pair/PairMonad.php -------------------------------------------------------------------------------- /src/Instances/Reader/ReaderApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Reader/ReaderApplicative.php -------------------------------------------------------------------------------- /src/Instances/Reader/ReaderApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Reader/ReaderApply.php -------------------------------------------------------------------------------- /src/Instances/Reader/ReaderFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Reader/ReaderFunctor.php -------------------------------------------------------------------------------- /src/Instances/Reader/ReaderMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Reader/ReaderMonad.php -------------------------------------------------------------------------------- /src/Instances/State/StateApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/State/StateApplicative.php -------------------------------------------------------------------------------- /src/Instances/State/StateApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/State/StateApply.php -------------------------------------------------------------------------------- /src/Instances/State/StateFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/State/StateFunctor.php -------------------------------------------------------------------------------- /src/Instances/State/StateMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/State/StateMonad.php -------------------------------------------------------------------------------- /src/Instances/String/ConcatenationMonoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/String/ConcatenationMonoid.php -------------------------------------------------------------------------------- /src/Instances/Traversable/TraversableFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Traversable/TraversableFoldable.php -------------------------------------------------------------------------------- /src/Instances/Traversable/TraversableMonoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Instances/Traversable/TraversableMonoid.php -------------------------------------------------------------------------------- /src/LinkedList.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/LinkedList.php -------------------------------------------------------------------------------- /src/ListL.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/ListL.php -------------------------------------------------------------------------------- /src/Maybe.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Maybe.php -------------------------------------------------------------------------------- /src/Pair.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Pair.php -------------------------------------------------------------------------------- /src/Reader.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Reader.php -------------------------------------------------------------------------------- /src/State.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/State.php -------------------------------------------------------------------------------- /src/Traversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Traversable.php -------------------------------------------------------------------------------- /src/Typeclass/Alt.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Alt.php -------------------------------------------------------------------------------- /src/Typeclass/Alternative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Alternative.php -------------------------------------------------------------------------------- /src/Typeclass/Applicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Applicative.php -------------------------------------------------------------------------------- /src/Typeclass/Apply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Apply.php -------------------------------------------------------------------------------- /src/Typeclass/Bifunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Bifunctor.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultApplicative.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultApplicative.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultApply.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultFoldable.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultFunctor.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultMonad.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultProfunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultProfunctor.php -------------------------------------------------------------------------------- /src/Typeclass/DefaultInstance/DefaultTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/DefaultInstance/DefaultTraversable.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraApply.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraApply.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraBifunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraBifunctor.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraFoldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraFoldable.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraFunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraFunctor.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraMonad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraMonad.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraProfunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraProfunctor.php -------------------------------------------------------------------------------- /src/Typeclass/Extra/ExtraTraversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Extra/ExtraTraversable.php -------------------------------------------------------------------------------- /src/Typeclass/Foldable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Foldable.php -------------------------------------------------------------------------------- /src/Typeclass/Functor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Functor.php -------------------------------------------------------------------------------- /src/Typeclass/Monad.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Monad.php -------------------------------------------------------------------------------- /src/Typeclass/MonadThrow.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/MonadThrow.php -------------------------------------------------------------------------------- /src/Typeclass/Monoid.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Monoid.php -------------------------------------------------------------------------------- /src/Typeclass/Plus.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Plus.php -------------------------------------------------------------------------------- /src/Typeclass/Profunctor.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Profunctor.php -------------------------------------------------------------------------------- /src/Typeclass/Semigroup.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Semigroup.php -------------------------------------------------------------------------------- /src/Typeclass/Traversable.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Typeclass/Traversable.php -------------------------------------------------------------------------------- /src/Unit.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/marcosh/lamphpda/HEAD/src/Unit.php --------------------------------------------------------------------------------