Uses of Class
com.jnape.palatable.lambda.adt.hlist.SingletonHList
Packages that use SingletonHList
Package
Description
-
Uses of SingletonHList in com.jnape.palatable.lambda.adt.hlist
Subclasses with type arguments of type SingletonHList in com.jnape.palatable.lambda.adt.hlistModifier and TypeClassDescriptionclassTuple2<_1,_2> A 2-element tuple product type, implemented as a specialized HList.Classes in com.jnape.palatable.lambda.adt.hlist that implement interfaces with type arguments of type SingletonHListModifier and TypeClassDescriptionclassSingletonHList<_1>A singleton HList.classSingletonHList<_1>A singleton HList.Methods in com.jnape.palatable.lambda.adt.hlist with type parameters of type SingletonHListModifier and TypeMethodDescription<B, App extends Applicative<?,App>, TravB extends Traversable<B, SingletonHList<?>>, AppTrav extends Applicative<TravB, App>>
AppTravSingletonHList.traverse(Fn1<? super _1, ? extends Applicative<B, App>> fn, Fn1<? super TravB, ? extends AppTrav> pure) Applyfnto each element of this traversable from left to right, and collapse the results into a single resulting applicative, potentially with the assistance of the applicative's pure function.Methods in com.jnape.palatable.lambda.adt.hlist that return SingletonHListModifier and TypeMethodDescription<Head> SingletonHList<Head> HList.HNil.cons(Head head) <_1Prime> SingletonHList<_1Prime> SingletonHList.discardL(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.<_1Prime> SingletonHList<_1> SingletonHList.discardR(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.<_1Prime> SingletonHList<_1Prime> SingletonHList.flatMap(Fn1<? super _1, ? extends Monad<_1Prime, SingletonHList<?>>> f) Chain dependent computations that may continue or short-circuit based on previous results.<_1Prime> SingletonHList<_1Prime> Covariantly transmute this functor's parameter using the given mapping function.Tuple2.init()Returns aSingletonHList<_1><_1Prime> SingletonHList<_1Prime> SingletonHList.pure(_1Prime _1Prime) Lift the valuebinto this applicative functor.static <Head> SingletonHList<Head> HList.singletonHList(Head head) Static factory method for creating a singleton HList.<_1Prime> SingletonHList<_1Prime> SingletonHList.trampolineM(Fn1<? super _1, ? extends MonadRec<RecursiveResult<_1, _1Prime>, SingletonHList<?>>> fn) Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.<_1Prime> SingletonHList<_1Prime> SingletonHList.zip(Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Methods in com.jnape.palatable.lambda.adt.hlist that return types with arguments of type SingletonHListModifier and TypeMethodDescription<_1Prime> Lazy<SingletonHList<_1Prime>> SingletonHList.lazyZip(Lazy<? extends Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>>> lazyAppFn) Given alazyinstance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.static Pure<SingletonHList<?>> SingletonHList.pureSingletonHList()The canonicalPureinstance forSingletonHList.Method parameters in com.jnape.palatable.lambda.adt.hlist with type arguments of type SingletonHListModifier and TypeMethodDescription<_1Prime> SingletonHList<_1Prime> SingletonHList.discardL(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicativeandappB, discarding thisApplicative'sresult and returningappB.<_1Prime> SingletonHList<_1> SingletonHList.discardR(Applicative<_1Prime, SingletonHList<?>> appB) Sequence both thisApplicativeandappB, discardingappB'sresult and returning thisApplicative.<_1Prime> SingletonHList<_1Prime> SingletonHList.flatMap(Fn1<? super _1, ? extends Monad<_1Prime, SingletonHList<?>>> f) Chain dependent computations that may continue or short-circuit based on previous results.<_1Prime> Lazy<SingletonHList<_1Prime>> SingletonHList.lazyZip(Lazy<? extends Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>>> lazyAppFn) Given alazyinstance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.<_1Prime> SingletonHList<_1Prime> SingletonHList.trampolineM(Fn1<? super _1, ? extends MonadRec<RecursiveResult<_1, _1Prime>, SingletonHList<?>>> fn) Given some operation yielding aRecursiveResultinside thisMonadRec, internally trampoline the operation until it yields aterminationinstruction.<_1Prime> SingletonHList<_1Prime> SingletonHList.zip(Applicative<Fn1<? super _1, ? extends _1Prime>, SingletonHList<?>> appFn) Given another instance of this applicative over a mapping function, "zip" the two instances together using whatever application semantics the current applicative supports.Constructors in com.jnape.palatable.lambda.adt.hlist with parameters of type SingletonHList -
Uses of SingletonHList in com.jnape.palatable.lambda.adt.hmap
Methods in com.jnape.palatable.lambda.adt.hmap that return types with arguments of type SingletonHListModifier and TypeMethodDescriptionstatic <A> Schema<SingletonHList<A>> Schema.schema(TypeSafeKey<?, A> key) Create aSchemafrom a singleTypeSafeKey. -
Uses of SingletonHList in com.jnape.palatable.lambda.functions.builtin.fn2
Classes in com.jnape.palatable.lambda.functions.builtin.fn2 that implement interfaces with type arguments of type SingletonHListModifier and TypeClassDescriptionfinal classInto1<A,B> Given anFn1<A, B>SingletonHList<A>Methods in com.jnape.palatable.lambda.functions.builtin.fn2 that return types with arguments of type SingletonHListMethods in com.jnape.palatable.lambda.functions.builtin.fn2 with parameters of type SingletonHListModifier and TypeMethodDescriptionInto1.checkedApply(Fn1<? super A, ? extends B> fn, SingletonHList<A> singletonHList) static <A,B> B Into1.into1(Fn1<? super A, ? extends B> fn, SingletonHList<A> singletonHList)