MBrace.Runtime


Reflection

Namespace: MBrace.Runtime.Utils

Reflection utilities

Nested types and modules

ModuleDescription
Expr
Type

Functions and values

Function or valueDescription
tryFindGenericInterface interfaceTy ty
Signature: interfaceTy:Type -> ty:Type -> Type option

correctly resolves if type is assignable to generic interface

Type extensions

Type extensionDescription
ContainsCustomAttributeRecursive()
Signature: unit -> bool
Type parameters: 'Attr

Checks if MemberInfo instance contains the supplied attribute.

CompiledName: MemberInfo.ContainsCustomAttributeRecursive

TryFind(name)
Signature: name:string -> Assembly option

Queries current AppDomain for loaded assembly of given name.

CompiledName: Assembly.TryFind.Static

Active patterns

Active patternDescription
( |CollectionWithCount|_| )
Signature: obj -> (IEnumerable * int) option

Active pattern identifying IEnumerable instances with fixed count

CompiledName: |CollectionWithCount|_|

( |FSharpFunc|_| )
Signature: Type -> (Type [] * Type) option

matches against lambda types, returning a tuple ArgType [] * ResultType

CompiledName: |FSharpFunc|_|

( |Named|Array|Ptr|Param| ) t
Signature: t:Type -> Choice<(Type * Type []),(Type * int option),(bool * Type),(Type * int)>

System.Type active pattern recognizer

CompiledName: |Named|Array|Ptr|Param|

( |Tuple|_| ) t
Signature: t:Type -> Type [] option

Matches type that is tuple, returning tuple element types

CompiledName: |Tuple|_|

Fork me on GitHub