effect-ts-laws
    Preparing search index...

    Module index

    associativity
    inverse
    symmetry
    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
    addLaws
    addLawSets
    filterLaws
    filterLawsDeep
    negateLaw
    ComposeTypeLambda
    ComposeGiven
    ComposeKey
    composeMap
    composeApplicative
    composeCovariant
    composeFoldable
    composeInvariant
    composeOf
    composeTraversable
    withOuterOption
    emptyLawSet
    Law
    LawSet
    anonymousLawTests
    lawSetTests
    lawTests
    findCounterexample
    testEndoEquivalence
    testPredicateEquivalence
    testUnaryEquivalence
    ParameterOverrides
    Monad
    getEquivalence
    BuildConcrete
    BuildParameterized
    ConcreteGiven
    ConcreteLambdas
    ParameterizedGiven
    Concrete
    ConcreteClass
    Parameterized
    ParameterizedClass
    TypeclassInstances
    parameterizedLaws
    asAssert
    buildConcreteTypeclassLaws
    buildMonomorphicLaws
    buildParameterizedTypeclassLaws
    buildTypeclassLawsFor
    checkLaw
    checkLaws
    checkLawSets
    defineConcreteLaws
    isParameterizedTypeclassName
    unfoldGiven
    LiftArbitrary
    LiftEquivalence
    ArbitraryToEquivalence
    EquivalenceToArbitrary
    LiftedEquivalences
    liftEquivalences
    GivenConcerns
    Law
    LawSet
    ParameterizedLambdas
    Typeclass
    UnknownArgs
    UnknownLaw
    MonomorphicGiven
    MonomorphicGivenOf
    MonoProps
    Mono
    monoArbitrary
    monoEquivalence
    monoMonoid
    monoOrder
    monoPredicateArbitrary
    monoPredicateEquivalence
    monoRecordArbitrary
    monoRecordEquivalence
    propsArbitrary
    propsEquivalence
    propsMonoid
    propsPredicateArbitrary
    propsPredicateEquivalence
    getMonoUnaryEquivalence
    unfoldMonoGiven
    unfoldMonomorphicGiven
    unfoldPropsGiven
    GivenArbitraries
    UnfoldedGiven
    IsomorphismGiven
    concreteLaws
    encodeDecodeLaws
    schemaLaws
    AlternativeTypeLambda
    ApplicativeTypeLambda
    ArbitraryTypeLambda
    BicovariantTypeLambda
    ContravariantTypeLambda
    CovariantTypeLambda
    FilterableTypeLambda
    FlatMapTypeLambda
    FoldableTypeLambda
    InvariantTypeLambda
    MonadTypeLambda
    MonoidTypeLambda
    SemiAlternativeTypeLambda
    TraversableTypeLambda
    BaseIsomorphismGiven
    IsomorphismGivenFor
    BaseEncoding
    alternativeLaws
    applicativeLaws
    bicovariantLaws
    boundedLaws
    contravariantLaws
    covariantLaws
    equivalenceLaws
    filterableLaws
    flatMapLaws
    foldableLaws
    invariantLaws
    monadLaws
    monoidLaws
    orderLaws
    semiAlternativeLaws
    semigroupLaws
    traversableLaws
    buildIsomorphismLaws
    isomorphismLaws
    UnderlyingArbitrary
    UnderlyingEquivalence
    UnderlyingHkt

    Settings
    Member Visibility

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