Package fj

Class Effect


  • public final class Effect
    extends java.lang.Object
    Represents a side-effect.
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private Effect()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <A,​B>
      Effect1<B>
      contramap​(Effect1<A> e1, F<B,​A> f)
      A contra-variant functor on effect.
      static P1<Unit> f​(Effect0 e)  
      static <A> F<A,​Unit> f​(Effect1<A> e1)
      Returns a function for the given effect.
      static <A,​B>
      F2<A,​B,​Unit>
      f​(Effect2<A,​B> e)  
      static <A,​B,​C>
      F3<A,​B,​C,​Unit>
      f​(Effect3<A,​B,​C> e)  
      static <A,​B,​C,​D>
      F4<A,​B,​C,​D,​Unit>
      f​(Effect4<A,​B,​C,​D> e)  
      static <A,​B,​C,​D,​E>
      F5<A,​B,​C,​D,​E,​Unit>
      f​(Effect5<A,​B,​C,​D,​E> z)  
      static <A,​B,​C,​D,​E,​$F>
      F6<A,​B,​C,​D,​E,​$F,​Unit>
      f​(Effect6<A,​B,​C,​D,​E,​$F> z)  
      static <A,​B,​C,​D,​E,​$F,​G>
      F7<A,​B,​C,​D,​E,​$F,​G,​Unit>
      f​(Effect7<A,​B,​C,​D,​E,​$F,​G> z)  
      static <A,​B,​C,​D,​E,​$F,​G,​H>
      F8<A,​B,​C,​D,​E,​$F,​G,​H,​Unit>
      f​(Effect8<A,​B,​C,​D,​E,​$F,​G,​H> z)  
      static <A> Effect1<A> lazy​(F<A,​Unit> f)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Effect

        private Effect()
    • Method Detail

      • f

        public static <A> F<A,​Unit> f​(Effect1<A> e1)
        Returns a function for the given effect.
        Returns:
        The function using the given effect.
      • f

        public static <A,​B> F2<A,​B,​Unit> f​(Effect2<A,​B> e)
      • f

        public static <A,​B,​C> F3<A,​B,​C,​Unit> f​(Effect3<A,​B,​C> e)
      • f

        public static <A,​B,​C,​D> F4<A,​B,​C,​D,​Unit> f​(Effect4<A,​B,​C,​D> e)
      • f

        public static <A,​B,​C,​D,​E> F5<A,​B,​C,​D,​E,​Unit> f​(Effect5<A,​B,​C,​D,​E> z)
      • f

        public static <A,​B,​C,​D,​E,​$F> F6<A,​B,​C,​D,​E,​$F,​Unit> f​(Effect6<A,​B,​C,​D,​E,​$F> z)
      • f

        public static <A,​B,​C,​D,​E,​$F,​G> F7<A,​B,​C,​D,​E,​$F,​G,​Unit> f​(Effect7<A,​B,​C,​D,​E,​$F,​G> z)
      • f

        public static <A,​B,​C,​D,​E,​$F,​G,​H> F8<A,​B,​C,​D,​E,​$F,​G,​H,​Unit> f​(Effect8<A,​B,​C,​D,​E,​$F,​G,​H> z)
      • contramap

        public static <A,​B> Effect1<B> contramap​(Effect1<A> e1,
                                                       F<B,​A> f)
        A contra-variant functor on effect.
        Parameters:
        f - The function to map over the effect.
        Returns:
        An effect after a contra-variant map.
      • lazy

        public static <A> Effect1<A> lazy​(F<A,​Unit> f)