effect-ts-laws
    Preparing search index...

    Module index

    Other

    GivenArbitraries
    UnfoldedGiven
    IsomorphismGiven
    concreteLaws

    algebraic laws

    associativity
    inverse
    symmetry

    arbitraries

    boundedDuration
    duration
    error
    fail
    offsetTimezone
    succeed
    tinyInteger
    tinyIntegerArray
    tinyNonNegative
    tinyPositive
    tinyString
    unary
    binary
    cause
    either
    endo
    list
    option
    predicate
    stringKeyRecord
    sync
    tinyArray
    unaryFromKind
    unaryInKind
    unaryToKind
    utc
    zoned

    combinators

    addLaws
    addLawSets
    filterLaws
    filterLawsDeep
    negateLaw

    composition

    ComposeTypeLambda
    ComposeGiven
    ComposeKey
    composeMap
    composeApplicative
    composeCovariant
    composeFoldable
    composeInvariant
    composeOf
    composeTraversable
    withOuterOption

    constructors

    emptyLawSet
    Law
    LawSet
    anonymousLawTests
    lawSetTests
    lawTests

    equivalence

    findCounterexample
    testEndoEquivalence
    testPredicateEquivalence
    testUnaryEquivalence

    fast-check

    ParameterOverrides
    Monad
    getEquivalence

    harness

    BuildConcrete
    BuildParameterized
    ConcreteGiven
    ConcreteLambdas
    ParameterizedGiven
    Concrete
    ConcreteClass
    Parameterized
    ParameterizedClass
    TypeclassInstances
    parameterizedLaws
    asAssert
    buildConcreteTypeclassLaws
    buildMonomorphicLaws
    buildParameterizedTypeclassLaws
    buildTypeclassLawsFor
    checkLaw
    checkLaws
    checkLawSets
    defineConcreteLaws
    isParameterizedTypeclassName
    unfoldGiven

    lifting

    LiftArbitrary
    LiftEquivalence
    ArbitraryToEquivalence
    EquivalenceToArbitrary
    LiftedEquivalences
    liftArbitraries
    liftEquivalences

    model

    GivenConcerns
    Law
    LawSet
    ParameterizedLambdas
    Typeclass
    UnknownArgs
    UnknownLaw

    monomorphic

    MonomorphicGiven
    MonomorphicGivenOf
    MonoProps
    Mono
    monoArbitrary
    monoEquivalence
    monoMonoid
    monoOrder
    monoPredicateArbitrary
    monoPredicateEquivalence
    monoRecordArbitrary
    monoRecordEquivalence
    propsArbitrary
    propsEquivalence
    propsMonoid
    propsPredicateArbitrary
    propsPredicateEquivalence
    getMonoUnaryEquivalence
    unfoldMonoGiven
    unfoldMonomorphicGiven
    unfoldPropsGiven

    schema laws

    encodeDecodeLaws
    schemaLaws

    type lambda

    AlternativeTypeLambda
    ApplicativeTypeLambda
    ArbitraryTypeLambda
    BicovariantTypeLambda
    ContravariantTypeLambda
    CovariantTypeLambda
    FilterableTypeLambda
    FlatMapTypeLambda
    FoldableTypeLambda
    InvariantTypeLambda
    MonadTypeLambda
    MonoidTypeLambda
    SemiAlternativeTypeLambda
    TraversableTypeLambda

    typeclass laws

    BaseIsomorphismGiven
    IsomorphismGivenFor
    BaseEncoding
    alternativeLaws
    applicativeLaws
    bicovariantLaws
    boundedLaws
    contravariantLaws
    covariantLaws
    equivalenceLaws
    filterableLaws
    flatMapLaws
    foldableLaws
    invariantLaws
    monadLaws
    monoidLaws
    orderLaws
    semiAlternativeLaws
    semigroupLaws
    traversableLaws
    buildIsomorphismLaws
    isomorphismLaws

    types

    UnderlyingArbitrary
    UnderlyingEquivalence
    UnderlyingHkt

    Settings

    Member Visibility

    On This Page

    Other
    algebraic laws
    arbitraries
    combinators
    composition
    constructors
    equivalence
    fast-check
    harness
    lifting
    model
    monomorphic
    schema laws
    type lambda
    typeclass laws
    types