Const<'t, 'u> (FSharpPlus)

Const<'t, 'u> Type

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll
Base Type: ValueType
All Interfaces: IEquatable<Const<'t, 'u>> , IStructuralEquatable , IComparable<Const<'t, 'u>> , IComparable , IStructuralComparable
Kind: Struct

The Const functor, defined as Const<'T, 'U> where 'U is a phantom type. Useful for: Lens getters Its applicative instance plays a fundamental role in Lens.

Useful for: Lens getters.

Its applicative instance plays a fundamental role in Lens.

Table of contents

Functor
Applicative
Other module members

Functor

Static members

Static member	Description
`arg0 <!> arg1` Full Usage: `arg0 <!> arg1` Parameters: arg0 : `'T -> 'U` arg1 : `Const<'C, 'T>` Returns: `Const<'C, 'U>`	Lifts a function into a Const. Same as map. To be used in Applicative Style expressions, combined with <*> arg0 : `'T -> 'U` arg1 : `Const<'C, 'T>` Returns: `Const<'C, 'U>`

Applicative

Static members

Static member	Description
`arg0 > arg1` Full Usage: `arg0 > arg1` Parameters: arg0 : `Const<^C, 'T>` arg1 : `Const<^C, 'U>` Returns: `Const<^C, 'U>` Modifiers: inline Type parameters: 'U	Sequences two Consts left-to-right, discarding the value of the first argument. arg0 : `Const<^C, 'T>` arg1 : `Const<^C, 'U>` Returns: `Const<^C, 'U>`
`arg0 <* arg1` Full Usage: `arg0 <* arg1` Parameters: arg0 : `Const<^C, 'U>` arg1 : `Const<^C, 'T>` Returns: `Const<^C, 'U>` Modifiers: inline Type parameters: 'T	Sequences two Consts left-to-right, discarding the value of the second argument. arg0 : `Const<^C, 'U>` arg1 : `Const<^C, 'T>` Returns: `Const<^C, 'U>`

Other module members

Union cases

Union case	Description
`Const 't` Full Usage: `Const 't` Parameters: Item : `'t`	Item : `'t`

Static members

Static member	Description
`arg0 + arg1` Full Usage: `arg0 + arg1` Parameters: arg0 : `Const<^T, 'U>` arg1 : `Const<^T, 'U>` Returns: `Const<^T, 'U>` Modifiers: inline	arg0 : `Const<^T, 'U>` arg1 : `Const<^T, 'U>` Returns: `Const<^T, 'U>`
`arg0 <> arg1` Full Usage: `arg0 <> arg1` Parameters: arg0 : `Const<^C, ('T -> 'U)>` arg1 : `Const<^C, 'T>` Returns: `Const<^C, 'U>` Modifiers: inline Type parameters: 'U	arg0 : `Const<^C, ('T -> 'U)>` arg1 : `Const<^C, 'T>` Returns: `Const<^C, 'U>`
`Const.Bifold(arg1, f, arg3, z)` Full Usage: `Const.Bifold(arg1, f, arg3, z)` Parameters: arg0 : `Const<'T, 'V>` f : `'U -> 'T -> 'U` arg2 : `'W -> 'V -> 'W` z : `'U` Returns: `'U`	arg0 : `Const<'T, 'V>` f : `'U -> 'T -> 'U` arg2 : `'W -> 'V -> 'W` z : `'U` Returns: `'U`
`Const.BifoldBack(arg1, f, arg3, z)` Full Usage: `Const.BifoldBack(arg1, f, arg3, z)` Parameters: arg0 : `Const<'T, 'V>` f : `'T -> 'U -> 'U` arg2 : `'V -> 'W -> 'W` z : `'U` Returns: `'U`	arg0 : `Const<'T, 'V>` f : `'T -> 'U -> 'U` arg2 : `'V -> 'W -> 'W` z : `'U` Returns: `'U`
`Const.BifoldMap(arg1, f, arg3)` Full Usage: `Const.BifoldMap(arg1, f, arg3)` Parameters: arg0 : `Const<'T, 'V>` f : `'T -> 'U` arg2 : `'V -> 'W` Returns: `'U`	arg0 : `Const<'T, 'V>` f : `'T -> 'U` arg2 : `'V -> 'W` Returns: `'U`
`Const.Bimap(arg1, f, arg3)` Full Usage: `Const.Bimap(arg1, f, arg3)` Parameters: arg0 : `Const<'T, 'V>` f : `'T -> 'U` arg2 : `'V -> 'W` Returns: `Const<'U, 'W>`	arg0 : `Const<'T, 'V>` f : `'T -> 'U` arg2 : `'V -> 'W` Returns: `Const<'U, 'W>`
`Const.Bitraverse(arg1, f, g)` Full Usage: `Const.Bitraverse(arg1, f, g)` Parameters: arg0 : `Const<'T1, 'U1>` f : `'T1 -> ^Functor<'T2>` g : `'U1 -> ^Functor<'U2>` Returns: `^Functor>` Modifiers: inline Type parameters: ^Functor<'T2>, ^Functor<Const<'T2, 'U2>>, ^Functor<'U2>, 'U2, 'T2, 'T2	arg0 : `Const<'T1, 'U1>` f : `'T1 -> ^Functor<'T2>` g : `'U1 -> ^Functor<'U2>` Returns: `^Functor>`
`Const.Contramap(arg1, arg2)` Full Usage: `Const.Contramap(arg1, arg2)` Parameters: arg0 : `Const<'C, 'T>` arg1 : `'U -> 'T` Returns: `Const<'C, 'U>`	arg0 : `Const<'C, 'T>` arg1 : `'U -> 'T` Returns: `Const<'C, 'U>`
`Const.First(arg1, f)` Full Usage: `Const.First(arg1, f)` Parameters: arg0 : `Const<'T, 'V>` f : `'T -> 'U` Returns: `Const<'U, 'V>`	arg0 : `Const<'T, 'V>` f : `'T -> 'U` Returns: `Const<'U, 'V>`
`Const.Lift2(arg1, arg2, arg3)` Full Usage: `Const.Lift2(arg1, arg2, arg3)` Parameters: arg0 : `'T -> 'U -> 'V` arg1 : `Const<^C, 'T>` arg2 : `Const<^C, 'U>` Returns: `Const<^C, 'V>` Modifiers: inline Type parameters: 'V, ^C	arg0 : `'T -> 'U -> 'V` arg1 : `Const<^C, 'T>` arg2 : `Const<^C, 'U>` Returns: `Const<^C, 'V>`
`Const.Lift3(arg1, arg2, arg3, arg4)` Full Usage: `Const.Lift3(arg1, arg2, arg3, arg4)` Parameters: arg0 : `'T -> 'U -> 'V -> 'W` arg1 : `Const<^C, 'T>` arg2 : `Const<^C, 'U>` arg3 : `Const<^C, 'V>` Returns: `Const<^C, 'W>` Modifiers: inline Type parameters: 'V, 'W, ^C	arg0 : `'T -> 'U -> 'V -> 'W` arg1 : `Const<^C, 'T>` arg2 : `Const<^C, 'U>` arg3 : `Const<^C, 'V>` Returns: `Const<^C, 'W>`
`Const.Map(arg1, arg2)` Full Usage: `Const.Map(arg1, arg2)` Parameters: arg0 : `Const<'C, 'T>` arg1 : `'T -> 'U` Returns: `Const<'C, 'U>`	arg0 : `Const<'C, 'T>` arg1 : `'T -> 'U` Returns: `Const<'C, 'U>`
`Const.Return(arg1)` Full Usage: `Const.Return(arg1)` Parameters: arg0 : `'U` Returns: `Const<^T, 'U>` Modifiers: inline	arg0 : `'U` Returns: `Const<^T, 'U>`
`Const.get_Zero ()` Full Usage: `Const.get_Zero ()` Returns: `Const<^T, 'U>` Modifiers: inline	Returns: `Const<^T, 'U>`