LanguageExt.Core ► Traits ► Identifiable

Contents

Identifiable <F, L>

Identify <A> (K<F, A> fa, Label<L> label)

Identifiable

identify <F, L, A> (K<F, A> fa, L label)
identify <F, L, A> (K<F, A> fa, Label<L> label)

IdentifiableExtensions

| (K<F, A> fa, Label<L> label)

Prelude

label <L> (L value)

Label <L> (L Value)

interface Identifiable <F, L> Source #

where F : Identifiable<F, L>

Identifiable structure

Parameters

type	F	Structure
type	L	Identifier type

Methods

method K<F, A> Identify <A> (K<F, A> fa, Label<L> label) Source #

Identify the structure

Parameters

type	A	Bound value type
param	fa	Structure to label
param	label	Label to apply
returns	Identified structure

class Identifiable Source #

Identifiable module

Methods

method K<F, A> identify <F, L, A> (K<F, A> fa, L label) Source #

where F : Identifiable<F, L>

Identify the structure

Parameters

type	F	Structure
type	L	Identifier type
type	A	Bound value type
param	fa	Structure to label
param	label	Label to apply
returns	Identified structure

method K<F, A> identify <F, L, A> (K<F, A> fa, Label<L> label) Source #

where F : Identifiable<F, L>

Identify the structure

Parameters

type	F	Structure
type	L	Identifier type
type	A	Bound value type
param	fa	Structure to label
param	label	Label to apply
returns	Identified structure

class IdentifiableExtensions Source #

Identifiable module

Operators

operator | (K<F, A> fa, Label<L> label) Source #

Identify the structure

Parameters

param	fa	Structure to label
param	label	Label to apply
returns	Identified structure

class Prelude Source #

Identifiable module

Methods

method Label<L> label <L> (L value) Source #

Construct a label

Parameters

type	L	Label value-type
param	value	Label value
returns

record Label <L> (L Value) Source #

Label to be used with Identifiable structures

Parameters

type	L	Label type
param	Value	Label value