Module Expr Str Import alias ImportFrom alias ImportFrom alias alias alias Assign NameStore AttributeLoad NameLoad attr Assign NameStore AttributeLoad NameLoad attr ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Assign NameStore Lambda arguments args NameParam defaults BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Num decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body FunctionDef arguments args NameParam defaults body Return BinOpAdd NameLoad Num decorator_list FunctionDef arguments args NameParam defaults body Return BinOpMult NameLoad Num decorator_list Assign NameStore Call NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Call NameLoad NameLoad NameLoad Call AttributeLoad Call AttributeLoad NameLoad attr NameLoad attr NameLoad decorator_list decorator_list ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Assign NameStore Lambda arguments args NameParam defaults BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call NameLoad NameLoad attr NameLoad Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call NameLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Assign NameStore Call NameLoad Lambda arguments args NameParam defaults BinOpMult NameLoad Num Assign NameStore Call NameLoad Lambda arguments args NameParam defaults BinOpAdd NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call AttributeLoad Call AttributeLoad Call NameLoad NameLoad attr NameLoad attr NameLoad attr NameLoad Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Num Assign NameStore Lambda arguments args NameParam defaults BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call NameLoad NameLoad attr Call NameLoad NameLoad Call NameLoad Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Num Assign NameStore Call NameLoad Lambda arguments args NameParam defaults BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Call NameLoad NameLoad Call AttributeLoad Call NameLoad Lambda arguments args NameParam defaults Call NameLoad NameLoad attr NameLoad decorator_list decorator_list ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Assign NameStore Lambda arguments args NameParam defaults Call NameLoad BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad Call NameLoad Num decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Lambda arguments args NameParam defaults Call NameLoad BinOpAdd NameLoad Num Assign NameStore Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call NameLoad NameLoad attr NameLoad Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Str Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Num Assign NameStore Lambda arguments args NameParam defaults Call NameLoad BinOpAdd NameLoad Num Assign NameStore Lambda arguments args NameParam defaults Call NameLoad BinOpMult NameLoad Num Expr Call AttributeLoad NameLoad attr Call AttributeLoad Call AttributeLoad NameLoad attr NameLoad attr NameLoad Call AttributeLoad NameLoad attr Lambda arguments args NameParam defaults Call AttributeLoad Call NameLoad NameLoad attr NameLoad decorator_list decorator_list
N/A N/A 
Tests for the Identity Monad.

Functor laws:
    * http://learnyouahaskell.com/functors-applicative-functors-and-monoids

Applicative laws:
    * http://en.wikibooks.org/wiki/Haskell/Applicative_Functors

Monad laws:
    * http://learnyouahaskell.com/a-fistful-of-monads#monad-laws
    * https://wiki.haskell.org/Monad_laws
 N/A unittest oslash.identity Identity oslash.util identity compose fmap N/A pure N/A Identity pure N/A unit N/A Identity unit TestIdentityFunctor N/A N/A unittest TestCase N/A test_identity_functor_map N/A N/A self N/A N/A N/A x N/A unit 42 N/A f N/A N/A N/A x N/A N/A x 10 N/A N/A N/A self assertEqual N/A N/A x map f N/A unit 420 N/A test_identity_functor_law_1 N/A N/A self N/A N/A N/A x N/A unit 42 N/A N/A N/A self assertEqual N/A N/A x map identity x N/A test_identity_functor_law2 N/A N/A self N/A N/A f N/A N/A x N/A N/A N/A N/A x 10 N/A g N/A N/A x N/A N/A N/A N/A x 10 N/A N/A x N/A unit 42 N/A N/A N/A self assertEquals N/A N/A x map N/A compose f g N/A N/A N/A N/A x map g map f N/A N/A TestIdentityApplicative N/A N/A unittest TestCase N/A test_identity_applicative_law_functor N/A N/A self N/A N/A N/A x N/A unit 42 N/A f N/A N/A N/A x N/A N/A x 42 N/A N/A N/A self assertEquals N/A N/A N/A pure f apply x N/A N/A x map f N/A test_identity_applicative_law_identity N/A N/A self N/A N/A N/A v N/A unit 42 N/A N/A N/A self assertEquals N/A N/A N/A pure identity apply v v N/A test_identity_applicative_law_composition N/A N/A self N/A N/A N/A w N/A unit 42 N/A u N/A pure N/A N/A N/A x N/A N/A x 42 N/A v N/A pure N/A N/A N/A x N/A N/A x 42 N/A N/A N/A self assertEquals N/A N/A N/A N/A N/A N/A N/A pure fmap apply u apply v apply w N/A N/A u apply N/A N/A v apply w N/A test_identity_applicative_law_homomorphism N/A N/A self N/A N/A N/A x 42 N/A f N/A N/A N/A x N/A N/A x 42 N/A N/A N/A self assertEquals N/A N/A N/A pure f apply N/A pure x N/A pure N/A f x N/A test_identity_applicative_law_interchange N/A N/A self N/A N/A N/A y 43 N/A u N/A unit N/A N/A N/A x N/A N/A x 42 N/A N/A N/A self assertEquals N/A N/A u apply N/A pure y N/A N/A N/A pure N/A N/A N/A f N/A N/A f y apply u N/A N/A TestIdentityMonad N/A N/A unittest TestCase N/A test_identity_monad_bind N/A N/A self N/A N/A N/A m N/A unit 42 N/A f N/A N/A N/A x N/A N/A unit N/A x 10 N/A N/A N/A self assertEqual N/A N/A m bind f N/A unit 420 N/A test_identity_monad_law_left_identity N/A N/A self N/A N/A N/A f N/A N/A N/A x N/A N/A unit N/A x 100000 N/A x 3 N/A N/A N/A self assertEqual N/A N/A N/A unit x bind f N/A f x N/A test_identity_monad_law_right_identity N/A N/A self N/A N/A N/A m N/A unit move on up N/A N/A N/A self assertEqual N/A N/A m bind unit m N/A test_identity_monad_law_associativity N/A N/A self N/A N/A N/A m N/A unit 42 N/A f N/A N/A N/A x N/A N/A unit N/A x 1000 N/A g N/A N/A N/A y N/A N/A unit N/A y 42 N/A N/A N/A self assertEqual N/A N/A N/A N/A m bind f bind g N/A N/A m bind N/A N/A N/A x N/A N/A N/A N/A f x bind g N/A N/A